Cofinality and measurability of the first three uncountable cardinals

Apter, Arthur; Jackson, Stephen; Löwe, Benedikt

doi:10.1090/S0002-9947-2012-05497-3

Cofinality and measurability of the first three uncountable cardinals
HTML articles powered by AMS MathViewer

by Arthur W. Apter, Stephen C. Jackson and Benedikt Löwe PDF

Trans. Amer. Math. Soc. 365 (2013), 59-98 Request permission

Abstract:

This paper discusses models of set theory without the Axiom of Choice. We investigate all possible patterns of the cofinality function and the distribution of measurability on the first three uncountable cardinals. The result relies heavily on a strengthening of an unpublished result of Kechris: we prove (under $\mathsf {AD}$) that there is a cardinal $\kappa$ such that the triple $(\kappa ,\kappa ^+,\kappa ^{++})$ satisfies the strong polarized partition property.

References

Arthur W. Apter and James M. Henle, Large cardinal structures below $\aleph _\omega$, J. Symbolic Logic 51 (1986), no. 3, 591–603. MR 853842, DOI 10.2307/2274016
Arthur W. Apter and James M. Henle, Relative consistency results via strong compactness, Fund. Math. 139 (1991), no. 2, 133–149. MR 1150596, DOI 10.4064/fm-139-2-133-149
Arthur W. Apter, James M. Henle, and Stephen C. Jackson, The calculus of partition sequences, changing cofinalities, and a question of Woodin, Trans. Amer. Math. Soc. 352 (2000), no. 3, 969–1003. MR 1695015, DOI 10.1090/S0002-9947-99-02554-4
Arthur W. Apter, AD and patterns of singular cardinals below $\Theta$, J. Symbolic Logic 61 (1996), no. 1, 225–235. MR 1380685, DOI 10.2307/2275606
C. A. Di Prisco and J. Henle, On the compactness of $\aleph _{1}$ and $\aleph _{2}$, J. Symbolic Logic 43 (1978), no. 3, 394–401. MR 503778, DOI 10.2307/2273517
J. M. Henle, Magidor-like and Radin-like forcing, Ann. Pure Appl. Logic 25 (1983), no. 1, 59–72. MR 722169, DOI 10.1016/0168-0072(83)90054-4
Steve Jackson, Suslin cardinals, partition properties, homogeneity. Introduction to Part II, Games, scales, and Suslin cardinals. The Cabal Seminar. Vol. I, Lect. Notes Log., vol. 31, Assoc. Symbol. Logic, Chicago, IL, 2008, pp. 273–313. MR 2463617, DOI 10.1017/CBO9780511546488.015
Steve Jackson, Structural consequences of AD, Handbook of set theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 1753–1876. MR 2768700, DOI 10.1007/978-1-4020-5764-9_{2}2
Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
Ronald B. Jensen and John R. Steel. Note on getting almost-true $\mathbf {K}$, 2007. Unpublished manuscript.
Ronald B. Jensen and John R. Steel. Note on weak covering, 2007. Unpublished manuscript.
Akihiro Kanamori, The higher infinite, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994. Large cardinals in set theory from their beginnings. MR 1321144
Alexander S. Kechris, $\textrm {AD}$ and projective ordinals, Cabal Seminar 76–77 (Proc. Caltech-UCLA Logic Sem., 1976–77) Lecture Notes in Math., vol. 689, Springer, Berlin, 1978, pp. 91–132. MR 526915
Alexander S. Kechris, Eugene M. Kleinberg, Yiannis N. Moschovakis, and W. Hugh Woodin, The axiom of determinacy, strong partition properties and nonsingular measures, Cabal Seminar 77–79 (Proc. Caltech-UCLA Logic Sem., 1977–79) Lecture Notes in Math., vol. 839, Springer, Berlin-New York, 1981, pp. 75–99. MR 611168
E. M. Kleinberg, Strong partition properties for infinite cardinals, J. Symbolic Logic 35 (1970), 410–428. MR 309734, DOI 10.2307/2270698
Alexander S. Kechris, Benedikt Löwe, and John R. Steel, editors, Games, Scales, and Suslin Cardinals. The Cabal Seminar, Volume I, volume 31 of Lecture Notes in Logic. Cambridge University Press, 2008.
Alexander S. Kechris, Robert M. Solovay, and John R. Steel, The axiom of determinacy and the prewellordering property, Cabal Seminar 77–79 (Proc. Caltech-UCLA Logic Sem., 1977–79) Lecture Notes in Math., vol. 839, Springer, Berlin-New York, 1981, pp. 101–125. MR 611169
Alexander S. Kechris and W. Hugh Woodin, Generic codes for uncountable ordinals, partition properties, and elementary embeddings, Games, scales, and Suslin cardinals. The Cabal Seminar. Vol. I, Lect. Notes Log., vol. 31, Assoc. Symbol. Logic, Chicago, IL, 2008, pp. 379–397. MR 2463619, DOI 10.1017/CBO9780511546488.019
Ralf-Dieter Schindler, Successive weakly compact or singular cardinals, J. Symbolic Logic 64 (1999), no. 1, 139–146. MR 1683899, DOI 10.2307/2586755
John R. Steel, Closure properties of pointclasses, Cabal Seminar 77–79 (Proc. Caltech-UCLA Logic Sem., 1977–79) Lecture Notes in Math., vol. 839, Springer, Berlin-New York, 1981, pp. 147–163. MR 611171
John R. Steel, Determinateness and the separation property, J. Symbolic Logic 46 (1981), no. 1, 41–44. MR 604876, DOI 10.2307/2273254
John R. Steel, Scales in $L(\textbf {R})$, Cabal seminar 79–81, Lecture Notes in Math., vol. 1019, Springer, Berlin, 1983, pp. 107–156. MR 730592, DOI 10.1007/BFb0071699