Abstract
We investigate the indestructibility properties of strongly compact cardinals in universes where strong compactness suffers from identity crisis. We construct an iterative poset that can be used to establish Kimchi–Magidor theorem from (in The independence between the concepts of compactness and supercompactness, circulated manuscript), i.e., that the first n strongly compact cardinals can be the first n measurable cardinals. As an application, we show that the first n strongly compact cardinals can be the first n measurable cardinals while the strong compactness of each strongly compact cardinal is indestructible under Levy collapses (our theorem is actually more general, see Sect. 3). A further application is that the class of strong cardinals can be nonempty yet coincide with the class of strongly compact cardinals while strong compactness of any strongly compact cardinal κ is indestructible under κ-directed closed posets that force GCH at κ.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Apter A.W.: On the first n strongly compact cardinals. Proc. Am. Math. Soc. 123(7), 2229–2235 (1995)
Apter A.W.: Laver indestructibility and the class of compact cardinals. J. Symb. Logic. 63(1), 149–157 (1998)
Apter A.W.: Characterizing strong compactness via strongness. MLQ Math. Log. Q. 49(4), 375–384 (2003)
Apter, A.W.: Indestructibility and strong compactness. In: Logic Colloquium ’03. Lect. Notes Log., vol. 24, pp. 27–37. Assoc. Symbol. Logic, La Jolla (2006)
Apter A.W., Cummings J.: A global version of a theorem of Ben–David and Magidor. Ann. Pure Appl. Logic. 102(3), 199–222 (2000)
Apter A.W., Cummings J.: Identity crises and strong compactness. J. Symb. Logic. 65(4), 1895–1910 (2000)
Apter A.W., Cummings J.: Identity crises and strong compactness. II. Strong cardinals. Arch. Math. Logic. 40(1), 25–38 (2001)
Apter A.W., Gitik M.: The least measurable can be strongly compact and indestructible. J. Symb. Logic. 63(4), 1404–1412 (1998)
Apter A.W., Henle J.M.: Large cardinal structures below \({\aleph_\omega}\) . J. Symb. Logic. 51(3), 591–603 (1986)
Apter, A.W., Sargsyan, G.: Identity crises and strong compactness iv; superstrong cardinals (unpublished)
Apter A.W., Sargsyan G.: Identity crises and strong compactness. III. Woodin cardinals. Arch. Math. Logic. 45(3), 307–322 (2006)
Apter A.W., Sargsyan G.: Universal indestructibility for degrees of supercompactness and strongly compact cardinals. Arch. Math. Logic. 47, 133–142 (2008)
Burgess, J.: Forcing. In: Handbook of Mathematical Logic, pp. 403–452 (1977)
Cummings J.: A model in which GCH holds at successors but fails at limits. Trans. Am. Math. Soc. 329(1), 1–39 (1992)
Foreman M., Magidor M., Shelah S.: Martin’s maximum, saturated ideals, and nonregular ultrafilters. I. Ann. Math. (2) 127(1), 1–47 (1988)
Foreman, M.: More saturated ideals. In: Cabal seminar 79–81. Lecture Notes in Math, vol. 1019, pp. 1–27. Springer, Berlin (1983)
Foreman M.: Potent axioms. Trans. Am. Math. Soc. 294(1), 1–28 (1986)
Foreman, M.: Has the continuum hypothesis been settled? In: Logic Colloquium ’03. Lect. Notes Log, vol. 24, pp. 56–75. Assoc. Symbol. Logic, La Jolla (2006)
Hamkins D.J.: Extensions with the approximation and cover properties have no new large cardinals. Fund. Math. 180(3), 257–277 (2003)
Hamkins J.D., Shelah S.: Superdestructibility: a dual to Laver’s indestructibility. J. Symb. Logic. 63(2), 549–554 (1998)
Jech, T.: Set theory. In: Springer Monographs in Mathematics. The third millennium edition, revised and expanded. Springer, Berlin (2003)
Kimchi, Y., Magidor, M.: The independence between the concepts of compactness and supercompactness, circulated manuscript
Laver R.: Making the supercompactness of κ indestructible under κ-directed closed forcing. Israel J. Math. 29(4), 385–388 (1978)
Magidor M.: How large is the first strongly compact cardinal? or A study on identity crises. Ann. Math. Logic. 10(1), 33–57 (1976)
Magidor M., Shelah S.: The tree property at successors of singular cardinals. Arch. Math. Logic. 35(5–6), 385–404 (1996)
Steel J.R.: The Core Model Iterability Problem. Lecture Notes in Logic, vol 8. Springer, Berlin (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author wishes to thank Arthur Apter for introducing him to the subject of this paper and to set theory in general. Some of the main ideas of this paper have their roots in the author’s undergraduate years when the author was taking a reading course with Apter. Those days were among the most enjoyable days of the author’s undergraduate years. The author would also like to thank the anonymous referee for helpful suggestions.
Rights and permissions
About this article
Cite this article
Sargsyan, G. On the indestructibility aspects of identity crisis. Arch. Math. Logic 48, 493–513 (2009). https://doi.org/10.1007/s00153-009-0134-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-009-0134-6