Recursive prime models for Boolean algebras

Jerud Mead

The search session has expired. Please query the service again.

Displaying similar documents to “Recursive prime models for Boolean algebras”

On a sufficient condition for strong constructivizability of atomic Boolean algebras.

Dzgoev, V.D. (2000)

Vladikavkazskiĭ Matematicheskiĭ Zhurnal

Similarity:

On some connections between Boolean algebras and Heyting algebras

Dimitrii E. Pal&#039;chunov, Alain Touraille (1992)

Annales scientifiques de l'Université de Clermont. Mathématiques

Similarity:

On a problem of Sikorski in the set representability of Boolean algebras

Robert Lagrange (1974)

Colloquium Mathematicae

Similarity:

Saturated Boolean Algebras With Ultrafilters

Žarko Mijajlović (1979)

Publications de l'Institut Mathématique

Similarity:

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 extending of partial Boolean algebras to partial *-algebras

Janusz Czelakowski (1978)

Colloquium Mathematicae

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

Partial Boolean algebras in a broader sense and Boolean embeddings

Janusz Czelakowski (1981)

Colloquium Mathematicae

Similarity:

A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras

W. Luxemburg (1964)

Fundamenta Mathematicae

Similarity:

On σ-complete prime ideals in Boolean algebras

Karel Prikry (1971)

Colloquium Mathematicae

Similarity:

Some Remarks On Boolean Terms - Model Theoretic Approach

Žarko Mijajlović (1977)

Publications de l'Institut Mathématique

Similarity:

Рекурсивные однородные булевы алгебры

С.Ю. Подзоров (2001)

Algebra i Logika

Similarity:

Boolean operations over measure algebras

A. Kamburelis, M. Kutyłowski (1986)

Colloquium Mathematicae

Similarity:

On Marczewski-Burstin representable algebras

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.