Weak Distributivity Implying Distributivity

Let $\mathbb{B}$ be a complete Boolean algebra. We show, as an application of a previous result of the author, that if $\lambda$ is an infinite cardinal and $\mathbb{B}$ is weakly $(\lambda^\omega, \omega)$-distributive, then $\mathbb{B}$ is $(\lambda, 2)$-distributive. Using a parallel result, we show that if $\kappa$ is a weakly compact cardinal such that $\mathbb{B}$ is weakly $(2^\kappa, \kappa)$-distributive and $\mathbb{B}$ is $(\alpha, 2)$-distributive for each $\alpha < \kappa$, then $\mathbb{B}$ is $(\kappa, 2)$-distributive.Comment: 12 page

Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices

We give several characterizations of discrete Sugeno integrals over bounded distributive lattices, as particular cases of lattice polynomial functions, that is, functions which can be represented in the language of bounded lattices using variables and constants. We also consider the subclass of term functions as well as the classes of symmetric polynomial functions and weighted minimum and maximum functions, and present their characterizations, accordingly. Moreover, we discuss normal form representations of these functions

Existence of weak solutions for the generalized Navier-Stokes equations with damping

In this work we consider the generalized Navier-Stokes equations with the presence of a damping term in the momentum equation. The problem studied here derives from the set of equations which govern isothermal flows of incompressible and homogeneous non-Newtonian fluids. For the generalized Navier-Stokes problem with damping, we prove the existence of weak solutions by using regularization techniques, the theory of monotone operators and compactness arguments together with the local decomposition of the pressure and the Lipschitz-truncation method. The existence result proved here holds for any and any sigma > 1, where q is the exponent of the diffusion term and sigma is the exponent which characterizes the damping term.MCTES, Portugal [SFRH/BSAB/1058/2010]; FCT, Portugal [PTDC/MAT/110613/2010]info:eu-repo/semantics/publishedVersio

Condorcet domains of tiling type

A Condorcet domain (CD) is a collection of linear orders on a set of candidates satisfying the following property: for any choice of preferences of voters from this collection, a simple majority rule does not yield cycles. We propose a method of constructing "large" CDs by use of rhombus tiling diagrams and explain that this method unifies several constructions of CDs known earlier. Finally, we show that three conjectures on the maximal sizes of those CDs are, in fact, equivalent and provide a counterexample to them.Comment: 16 pages. To appear in Discrete Applied Mathematic