A rigid Boolean algebra that admits the elimination of Q21
Mildenberg, H.
Fundamenta Mathematicae, Tome 142 (1993), p. 1-18 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

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

Publié le : 1993-01-01
EUDML-ID : urn:eudml:doc:211970 
@article{bwmeta1.element.bwnjournal-article-fmv142i1p1bwm,
     author = {H. Mildenberg},
     title = {A rigid Boolean algebra that admits the elimination of Q21},
     journal = {Fundamenta Mathematicae},
     volume = {142},
     year = {1993},
     pages = {1-18},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv142i1p1bwm}
}

Mildenberg, H. A rigid Boolean algebra that admits the elimination of Q21. Fundamenta Mathematicae, Tome 142 (1993) pp. 1-18. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv142i1p1bwm/

[00000] [Bal-Ku] J. Baldwin and D. W. Kueker, Ramsey quantifiers and the finite cover property, Pacific J. Math. 90 (1980), 11-19. | Zbl 0471.03022

[00001] [Ba] J. E. Baumgartner, Chains and antichains in P (ω), J. Symbolic Logic 45 (1980), 85-92.

[00002] [Ba-Ko] J. E. Baumgartner and P. Komjáth, Boolean algebras in which every chain and antichain is countable, Fund. Math. 111 (1981), 125-133. | Zbl 0452.03044

[00003] [Bü] G. Bürger, The ℒ<ω-theory of the class of Archimedian real closed fields, Arch. Math. Logic 28 (1989), 155-166.

[00004] [Ko] P. Koepke, On the elimination of Malitz quantifiers over archimedian real closed fields, ibid., 167-171. | Zbl 0693.03021

[00005] [Mag-Mal] M. Magidor and J. Malitz, Compact extensions of L(Q) (part 1a), Ann. Math. Logic 11 (1977), 217-261. | Zbl 0356.02012

[00006] [Mil] H. Mildenberger, Zur Homogenitätseigenschaft in Erweiterungslogiken, Dissertation, Freiburg 1990.

[00007] [Ot] M. Otto, Ehrenfeucht-Mostowski-Konstruktionen in Erweiterungslogiken, Dissertation, Freiburg 1990.

[00008] [Ro-Tu] P. Rothmaler and P. Tuschik, A two cardinal theorem for homogeneous sets and the elimination of Malitz quantifiers, Trans. Amer. Math. Soc. 269 (1982), 273-283. | Zbl 0485.03011

[00009] [Ru] M. Rubin, A Boolean algebra with few subalgebras, interval Boolean algebras and retractiveness, ibid. 278 (1983), 65-89. | Zbl 0524.06020

[00010] [Sh] S. Shelah, On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements, Notre Dame J. Formal Logic 22 (1981), 301-308. | Zbl 0472.03042