Compact Boolean algebras
Wiesław Głowczyński (2005)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Wiesław Głowczyński (2005)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Roman Sikorski (1961)
Colloquium Mathematicum
Similarity:
Saworotnow, Parfeny P. (1993)
International Journal of Mathematics and Mathematical Sciences
Similarity:
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.
Paul R. Halmos (1954-1956)
Compositio Mathematica
Similarity:
William Hanf (1976)
Fundamenta Mathematicae
Similarity:
Bernhard Banaschewski (1993)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The functor taking global elements of Boolean algebras in the topos of sheaves on a complete Boolean algebra is shown to preserve and reflect injectivity as well as completeness. This is then used to derive a result of Bell on the Boolean Ultrafilter Theorem in -valued set theory and to prove that (i) the category of complete Boolean algebras and complete homomorphisms has no non-trivial injectives, and (ii) the category of frames has no absolute retracts.