Displaying similar documents to “Some Classes of Projective Boolean Algebras.”

Openly generated Boolean algebras and the Fodor-type reflection principle

Sakaé Fuchino, Assaf Rinot (2011)

Fundamenta Mathematicae

Similarity:

We prove that the Fodor-type Reflection Principle (FRP) is equivalent to the assertion that any Boolean algebra is openly generated if and only if it is ℵ₂-projective. Previously it was known that this characterization of openly generated Boolean algebras follows from Axiom R. Since FRP is preserved by c.c.c. generic extension, we conclude in particular that this characterization is consistent with any set-theoretic assertion forcable by a c.c.c. poset starting from a model of FRP. A...

The elementary-equivalence classes of clopen algebras of P-spaces

Brian Wynne (2008)

Fundamenta Mathematicae

Similarity:

Two Boolean algebras are elementarily equivalent if and only if they satisfy the same first-order statements in the language of Boolean algebras. We prove that every Boolean algebra is elementarily equivalent to the algebra of clopen subsets of a normal P-space.