A rigid Boolean algebra that admits the elimination of Q21
Fundamenta Mathematicae, Tome 142 (1993) no. 1, pp. 1-18
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
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$.
@article{10_4064_fm_142_1_1_18,
author = {H. Mildenberg},
title = {A rigid {Boolean} algebra that admits the elimination of {Q21}},
journal = {Fundamenta Mathematicae},
pages = {1--18},
publisher = {mathdoc},
volume = {142},
number = {1},
year = {1993},
doi = {10.4064/fm-142-1-1-18},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-142-1-1-18/}
}
TY - JOUR AU - H. Mildenberg TI - A rigid Boolean algebra that admits the elimination of Q21 JO - Fundamenta Mathematicae PY - 1993 SP - 1 EP - 18 VL - 142 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-142-1-1-18/ DO - 10.4064/fm-142-1-1-18 LA - en ID - 10_4064_fm_142_1_1_18 ER -
H. Mildenberg. A rigid Boolean algebra that admits the elimination of Q21. Fundamenta Mathematicae, Tome 142 (1993) no. 1, pp. 1-18. doi: 10.4064/fm-142-1-1-18
Cité par Sources :