Displaying similar documents to “Boolean algebras with ordered bases”

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.

The number of countable isomorphism types of complete extensions of the theory of Boolean algebras

Paul Iverson (1991)

Colloquium Mathematicae

Similarity:

There is a conjecture of Vaught [17] which states: Without The Generalized Continuum Hypothesis one can prove the existence of a complete theory with exactly ω 1 nonisomorphic, denumerable models. In this paper we show that there is no such theory in the class of complete extensions of the theory of Boolean algebras. More precisely, any complete extension of the theory of Boolean algebras has either 1 or 2 ω nonisomorphic, countable models. Thus we answer this conjecture in the negative...

Topological representation for monadic implication algebras

Abad Manuel, Cimadamore Cecilia, Díaz Varela José (2009)

Open Mathematics

Similarity:

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.