A rigid Boolean algebra that admits the elimination of Q21

Volume 142 / 1993

H. Mildenberg Fundamenta Mathematicae 142 (1993), 1-18 DOI: 10.4064/fm-142-1-1-18

Abstract

Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier $Q_1^2$.

Authors

  • H. Mildenberg

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image