3
votes
1answer
77 views

existence of more distributive Boolean lattices

Are there a Boolean lattice $(X,\le)$ and a nonempty collection $(a_{ij})_{i\in I,j\in J}\subseteq X$ such that $$\bigvee_{i\in I}\bigwedge_{j\in J}{a_{ij}}\ne \bigwedge_{f:I\to J}\bigvee_{i\in ...
2
votes
2answers
293 views

Embedding a brouwerian lattice into a boolean lattice

I have already asked a similar question at http://math.stackexchange.com/questions/470704/can-a-brouwerian-lattice-be-extended-into-a-boolean-algebra but have received no answer. Sorry, I ask a ...
1
vote
1answer
99 views

distributive sublattices of atomistic ortholattices

Let $L$ be an atomistic ortholattice (i.e. every element can be written as a join of atoms) with top and bottom elements 0 and 1, and let $M$ be a distributive atomic sub-ortholattice of $L$. Is $M$ ...
2
votes
1answer
328 views

Extending a complete lattice to get a “nice” Boolean lattice

Suppose we have a complete lattice. Which additional axioms (e.g. distributivity axioms) are needed to obtain a Boolean lattice in which complement(a) = lub{b | b /\ a = bottom} = glb{b | b / a = ...
3
votes
2answers
308 views

Semilattices in atomless boolean algebras

Let S be a bounded semilattice without maximal elements. Can we always construct an atomless boolean algebra B, containing S as a subsemilattice, such that S is cofinal in B-{1}? That is, for every ...