A rigid Boolean algebra that admits the elimination of Q21
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 .