Displaying similar documents to “On a sufficient condition for strong constructivizability of atomic Boolean algebras.”

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

Brian Wynne (2008)

Fundamenta Mathematicae


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


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.

On Boolean modus ponens.

Sergiu Rudeanu (1998)

Mathware and Soft Computing


An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].