Algebras of continuous functions in universal algebra
Nelson, Evelyn
Similarity:
Nelson, Evelyn
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.
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.
Robert Lagrange (1974)
Colloquium Mathematicae
Similarity:
Roman Sikorski (1961)
Colloquium Mathematicum
Similarity: