Another note on countable Boolean algebras
Lutz Heindorf (1996)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We prove that a Boolean algebra is countable iff its subalgebra lattice admits a continuous complementation.
Lutz Heindorf (1996)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We prove that a Boolean algebra is countable iff its subalgebra lattice admits a continuous complementation.
H. Mildenberg (1993)
Fundamenta Mathematicae
Similarity:
Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier .
Slobodan Vujošević (1989)
Publications de l'Institut Mathématique
Similarity:
Steven Garavaglia, J. M. Plotkin (1984)
Colloquium Mathematicae
Similarity:
D. Banković (1987)
Matematički Vesnik
Similarity:
Aleksander Błaszczyk, Andrzej Kucharski, Sławomir Turek (2014)
Open Mathematics
Similarity:
The aim of this paper is to show that every infinite Boolean algebra which admits a countable minimally acting group contains a dense projective subalgebra.
Wroński, Stanisław (2015-10-26T10:14:52Z)
Acta Universitatis Lodziensis. Folia Mathematica
Similarity:
Roman Sikorski (1961)
Colloquium Mathematicum
Similarity:
Sergiu Rudeanu (1998)
Mathware and Soft Computing
Similarity:
An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].