Fundamenta Mathematicae
Abstract
A rigid Boolean algebra that admits the elimination of Q21 by Heike Mi l d enbe r g e r (Bonn) Abstract. Using ♦, we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier Q21.
Fields of Study & Subjects
History and Theory of Mathematics
Publication details
- Journal / source
- Fundamenta Mathematicae
- Publisher
- Institute of Mathematics, Polish Academy of Sciences
- Publication date
- 23 September 2026
- Language
- TL