On some connections between Boolean algebras and Heyting algebras
Dimitrii E. Pal'chunov, Alain Touraille (1992)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Dimitrii E. Pal'chunov, Alain Touraille (1992)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
W. A. J. Luxemburg (1968)
Colloquium Mathematicae
Similarity:
Gavalec, Martin
Similarity:
J. Łoś (1957)
Fundamenta Mathematicae
Similarity:
С.П. Одинцов (1984)
Algebra i Logika
Similarity:
Robert Lagrange (1974)
Colloquium Mathematicae
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.
Martin Gavalec (1985)
Colloquium Mathematicae
Similarity:
Janusz Czelakowski (1981)
Colloquium Mathematicae
Similarity:
Janusz Czelakowski (1978)
Colloquium Mathematicae
Similarity: