## 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

## Additional Information

**Arthur W. Apter**- Affiliation: Department of Mathematics, Baruch College, City University of New York, One Bernard Baruch Way, New York, New York 10010 – and – The CUNY Graduate Center, Mathematics, 365 Fifth Avenue, New York, New York 10016
- MR Author ID: 26680
- Email: awapter@alum.mit.edu
**Stephen C. Jackson**- Affiliation: Department of Mathematics, University of North Texas, P.O. Box 311430, Denton, Texas 76203-1430
- MR Author ID: 255886
- ORCID: 0000-0002-2399-0129
- Email: jackson@unt.edu
**Benedikt Löwe**- Affiliation: Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE Amsterdam, The Netherlands – and – Department Mathematik, Universität Hamburg, Bundesstrasse 55, 20146 Hamburg, Germany – and – Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität Bonn, Endenicher Allee 60, 53115 Bonn, Germany
- Email: bloewe@science.uva.nl
- Received by editor(s): May 4, 2009
- Received by editor(s) in revised form: November 2, 2010
- Published electronically: July 12, 2012
- Additional Notes: The first author’s visits to Amsterdam and the third author’s visit to New York were partially supported by the DFG-NWO Bilateral Grant (DFG KO 1353/5-1; NWO 62-630). In addition, the first author wishes to acknowledge the support of various PSC-CUNY and CUNY Collaborative Incentive grants. The third author would like to thank the CUNY Graduate Center Mathematics Program for their hospitality and partial financial support during his stay in New York.
- © Copyright 2012
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc.
**365**(2013), 59-98 - MSC (2010): Primary 03E02, 03E35, 03E55, 03E60; Secondary 03E10, 03E15, 03E25
- DOI: https://doi.org/10.1090/S0002-9947-2012-05497-3
- MathSciNet review: 2984052