Sacks forcing collapses to
We shall prove that Sacks algebra is nowhere -distributive, which implies that Sacks forcing collapses to .
We shall prove that Sacks algebra is nowhere -distributive, which implies that Sacks forcing collapses to .
We study sequential convergences defined on a Boolean algebra by systems of maximal filters. We describe the order properties of the system of all such convergences. We introduce the category of 2-generated convergence Boolean algebras and generalize the construction of Novák sequential envelope to such algebras.
In this paper we investigate convergence structures on a generalized Boolean algebra and their relations to convergence structures on abelian lattice ordered groups.
We introduce the concept of Sheffer operation in ortholattices and, more generally, in lattices with antitone involution. By using this, all the fundamental operations of an ortholattice or a lattice with antitone involution are term functions built up from the Sheffer operation. We list axioms characterizing the Sheffer operation in these lattices.
This paper presents some manner of characterization of Boolean rings. These algebraic systems one can also characterize by means of some distributivities satisfied in GBbi-QRs.
In this paper, we prove that Eulerian lattices satisfying some weaker conditions for lattices or some weaker conditions for 0-distributive lattices become Boolean.