Can a large cardinal be forced from a condition implying its negation?
HTML articles powered by AMS MathViewer
- by Arthur W. Apter and Grigor Sargsyan PDF
- Proc. Amer. Math. Soc. 133 (2005), 3103-3108 Request permission
Abstract:
In this note, we provide an affirmative answer to the title question by giving two examples of cardinals satisfying conditions implying they are non-Rowbottom which can be turned into Rowbottom cardinals via forcing. In our second example, our cardinal is also non-Jonsson.References
- Arthur W. Apter and Joel David Hamkins, Exactly controlling the non-supercompact strongly compact cardinals, J. Symbolic Logic 68 (2003), no. 2, 669–688. MR 1976597, DOI 10.2178/jsl/1052669070
- 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
- Keith J. Devlin, Some weak versions of large cardinal axioms, Ann. Math. Logic 5 (1972/73), 291–325. MR 363906, DOI 10.1016/0003-4843(73)90010-7
- J. M. Henle, Partition properties and Prikry forcing on simple spaces, J. Symbolic Logic 55 (1990), no. 3, 938–947. MR 1071307, DOI 10.2307/2274466
- Akihiro Kanamori, The higher infinite, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994. Large cardinals in set theory from their beginnings. MR 1321144
- E. M. Kleinberg, Rowbottom cardinals and Jonsson cardinals are almost the same, J. Symbolic Logic 38 (1973), 423–427. MR 337616, DOI 10.2307/2273038
- E. M. Kleinberg, The equiconsistency of two large cardinal axioms, Fund. Math. 102 (1979), no. 2, 81–85. MR 525930, DOI 10.4064/fm-102-2-81-85
- Paul B. Larson, The stationary tower, University Lecture Series, vol. 32, American Mathematical Society, Providence, RI, 2004. Notes on a course by W. Hugh Woodin. MR 2069032, DOI 10.1090/ulect/032
- A. Lévy and R. M. Solovay, Measurable cardinals and the continuum hypothesis, Israel J. Math. 5 (1967), 234–248. MR 224458, DOI 10.1007/BF02771612
- Saharon Shelah, Cardinal arithmetic, Oxford Logic Guides, vol. 29, The Clarendon Press, Oxford University Press, New York, 1994. Oxford Science Publications. MR 1318912
Additional Information
- Arthur W. Apter
- Affiliation: Department of Mathematics, Baruch College of CUNY, New York, New York 10010
- MR Author ID: 26680
- Email: awabb@cunyvm.cuny.edu
- Grigor Sargsyan
- Affiliation: Group in Logic and the Methodology of Science, University of California, Berkeley, California 94720
- MR Author ID: 677243
- Email: grigor@math.berkeley.edu
- Received by editor(s): August 30, 2003
- Received by editor(s) in revised form: February 14, 2004, and June 15, 2004
- Published electronically: May 4, 2005
- Additional Notes: Both authors wish to thank the CUNY Research Foundation for having provided partial support for this research via the first author’s PSC-CUNY Grant 64455-00-33, under which the second author was a research assistant. In addition, we wish to thank the referee and Carl Jockusch, the communicating editor, for helpful comments, corrections, and suggestions which have been incorporated into this version of the paper and which have considerably improved the presentation of the material contained herein.
- Communicated by: Carl G. Jockusch, Jr.
- © Copyright 2005
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 133 (2005), 3103-3108
- MSC (2000): Primary 03E02, 03E35, 03E55
- DOI: https://doi.org/10.1090/S0002-9939-05-07840-8
- MathSciNet review: 2159791