Abstract
It is known that if \(\kappa < \lambda\) are such that κ is indestructibly supercompact and λ is 2λ supercompact, then level by level equivalence between strong compactness and supercompactness fails. We prove a theorem which points towards this result being best possible. Specifically, we show that relative to the existence of a supercompact cardinal, there is a model for level by level equivalence between strong compactness and supercompactness containing a supercompact cardinal κ in which κ’s strong compactness is indestructible under κ-directed closed forcing.
Similar content being viewed by others
References
Apter A. (1997). Patterns of compact cardinals. Ann. Pure Appl. Logic 89: 101–115
Apter, A.: The least strongly compact can be the least strong and indestructible. Ann. Pure Appl. Logic (the special volume in honor of Jim Baumgartner’s 60th birthday), 144, 33–42 (2006)
Apter A. (2001). Supercompactness and measurable limits of strong cardinals. J. Symbolic Logic 66: 629–639
Apter A. and Cummings J. (2000). Identity crises and strong compactness. J. Symbolic Logic 65: 1895–1910
Apter A. and Gitik M. (1998). The least measurable can be strongly compact and indestructible. J. Symbolic Logic 63: 1404–1412
Apter A. and Hamkins J.D. (2002). Indestructibility and the level-by-level agreement between strong compactness and supercompactness. J. Symbolic Logic 67: 820–840
Apter A. and Shelah S. (1997). On the strong equality between supercompactness and strong compactness. Trans. Am. Math. Soc. 349: 103–128
Gitik M. (1986). Changing cofinalities and the nonstationary ideal. Israel J. Math. 56: 280–314
Gitik M. and Shelah S. (1989). On certain indestructibility of strong cardinals and a question of Hajnal. Arch. Math. Logic 28: 35–42
Hamkins J.D. (1994). Lifting and Extending Measures; Fragile Measurability. Doctoral Dissertation. University of California, Berkeley
Hamkins J.D. (2000). The lottery preparation. Ann. Pure Appl. Logic 101: 103–146
Jech T. (2003). Set Theory: The Third Millennium Edition. Revised and Expanded. Springer, Berlin
Ketonen J. (1972). Strong compactness and other cardinal sins. Ann. Math. Logic 5: 47–76
Laver R. (1978). Making the supercompactness of κ indestructible under κ-directed closed forcing. Israel J. Math. 29: 385–388
Lévy A. and Solovay R. (1967). Measurable cardinals and the continuum hypothesis. Israel J. Math. 5: 234–248
Magidor M. (1976). How large is the first strongly compact cardinal?. Ann. Math. Logic 10: 33–57
Solovay R., Reinhardt W. and Kanamori A. (1978). Strong axioms of infinity and elementary embeddings. Ann. Math. Logic 13: 73–116
Author information
Authors and Affiliations
Corresponding author
Additional information
The author’s research was partially supported by PSC-CUNY Grant 66489-00-35 and a CUNY Collaborative Incentive Grant.
Rights and permissions
About this article
Cite this article
Apter, A.W. Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness. Arch. Math. Logic 46, 155–163 (2007). https://doi.org/10.1007/s00153-007-0034-6
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-007-0034-6
Keywords
- Supercompact cardinal
- Strongly compact cardinal
- Indestructibility
- Gitik iteration
- Prikry forcing
- Non-reflecting stationary set of ordinals
- Level by level equivalence between strong compactness and supercompactness