On a problem of Sikorski in the set representability of Boolean algebras
Robert Lagrange (1974)
Colloquium Mathematicae
Similarity:
Robert Lagrange (1974)
Colloquium Mathematicae
Similarity:
Janusz Czelakowski (1981)
Colloquium Mathematicae
Similarity:
Martin Gavalec (1981)
Colloquium Mathematicae
Similarity:
Roman Sikorski (1961)
Colloquium Mathematicum
Similarity:
Janusz Czelakowski (1978)
Colloquium 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.
A. Kamburelis, M. Kutyłowski (1986)
Colloquium Mathematicae
Similarity:
Žarko Mijajlović (1979)
Publications de l'Institut Mathématique
Similarity:
Roman Sikorski, T. Traczyk (1963)
Colloquium Mathematicum
Similarity:
Marek Balcerzak, Artur Bartoszewicz, Piotr Koszmider (2004)
Colloquium Mathematicae
Similarity:
We construct algebras of sets which are not MB-representable. The existence of such algebras was previously known under additional set-theoretic assumptions. On the other hand, we prove that every Boolean algebra is isomorphic to an MB-representable algebra of sets.