Displaying similar documents to “Representing real numbers in denumerable Boolean algebras”

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.

On the injectivity of Boolean algebras

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.

The Boolean space of higher level orderings

Katarzyna Osiak (2007)

Fundamenta Mathematicae

Similarity:

Let K be an ordered field. The set X(K) of its orderings can be topologized to make it a Boolean space. Moreover, it has been shown by Craven that for any Boolean space Y there exists a field K such that X(K) is homeomorphic to Y. Becker's higher level ordering is a generalization of the usual concept of ordering. In a similar way to the case of ordinary orderings one can define a topology on the space of orderings of fixed exact level. We show that it need not be Boolean. However, our...