Displaying similar documents to “The theory of boolean algebras with a distinguished subalgebra is undecidable”

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.

Boolean part of BL-algebras

Radim Bělohlávek (2003)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

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...