On a sufficient condition for strong constructivizability of atomic Boolean algebras.
Dzgoev, V.D. (2000)
Vladikavkazskiĭ Matematicheskiĭ Zhurnal
Similarity:
Dzgoev, V.D. (2000)
Vladikavkazskiĭ Matematicheskiĭ Zhurnal
Similarity:
Dimitrii E. Pal'chunov, Alain Touraille (1992)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Robert Lagrange (1974)
Colloquium Mathematicae
Similarity:
Žarko Mijajlović (1979)
Publications de l'Institut Mathématique
Similarity:
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.
Janusz Czelakowski (1978)
Colloquium Mathematicae
Similarity:
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 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 nonisomorphic, countable models. Thus we answer this conjecture in the negative...
Janusz Czelakowski (1981)
Colloquium Mathematicae
Similarity:
W. Luxemburg (1964)
Fundamenta Mathematicae
Similarity:
Karel Prikry (1971)
Colloquium Mathematicae
Similarity:
Žarko Mijajlović (1977)
Publications de l'Institut Mathématique
Similarity:
С.Ю. Подзоров (2001)
Algebra i Logika
Similarity:
A. Kamburelis, M. Kutyłowski (1986)
Colloquium Mathematicae
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.