Sacks forcing collapses to
We shall prove that Sacks algebra is nowhere -distributive, which implies that Sacks forcing collapses to .
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
Sheaf Spaces and Sheaves of Universal Algebras.
Simultaneous strategies and Boolean games of uncountable length
Some Classes of Projective Boolean Algebras.
Some recent results on Cohen algebras
Some remarks on Post algebras
Stone Lattices
The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the paper, the notion of a pseudocomplement in a lattice is formally introduced in Mizar, and based on this we define the notion of the skeleton and the set of dense elements in a pseudocomplemented lattice, giving the meet-decomposition of arbitrary element of a lattice as the infimum of two elements: one belonging to the skeleton, and the other which...
Strongly retractive Boolean algebras
Subdirectly irreducible algebras of quasiordered logics
Sur les algèbres de Heyting symétriques
Symmetrische Zerlegung von Kettenprodukten.
Systems of equations over finite Boolean algebras
Systems Of Linear Boolean Equations
Systems of linear Boolean equations.