A rigid Boolean algebra that admits the elimination of Q21

ArticleOriginal scientific text

Title

Authors ¹

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}

.

[Bal-Ku] J. Baldwin and D. W. Kueker, Ramsey quantifiers and the finite cover property, Pacific J. Math. 90 (1980), 11-19.
[Ba] J. E. Baumgartner, Chains and antichains in P (ω), J. Symbolic Logic 45 (1980), 85-92.
[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.
[Bü] G. Bürger, The $ℒ^{< ω}$ -theory of the class of Archimedian real closed fields, Arch. Math. Logic 28 (1989), 155-166.
[Ko] P. Koepke, On the elimination of Malitz quantifiers over archimedian real closed fields, ibid., 167-171.
[Mag-Mal] M. Magidor and J. Malitz, Compact extensions of L(Q) (part 1a), Ann. Math. Logic 11 (1977), 217-261.
[Mil] H. Mildenberger, Zur Homogenitätseigenschaft in Erweiterungslogiken, Dissertation, Freiburg 1990.
[Ot] M. Otto, Ehrenfeucht-Mostowski-Konstruktionen in Erweiterungslogiken, Dissertation, Freiburg 1990.
[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.
[Ru] M. Rubin, A Boolean algebra with few subalgebras, interval Boolean algebras and retractiveness, ibid. 278 (1983), 65-89.
[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.

http://matwbn.icm.edu.pl/ksiazki/fm/fm142/fm14211.pdf