Abstract
We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide.
Similar content being viewed by others
References
Apter A.: A new proof of a theorem of Magidor. Arch. Math. Log. 39, 209–211 (2000)
Apter A.: Laver indestructibility and the class of compact cardinals. J. Symb. Log. 63, 149–157 (1998)
Apter A.: On level by level equivalence and inequivalence between strong compactness and supercompactness. Fund. Math. 171, 77–92 (2002)
Apter A.: Some results on consecutive large cardinals. Ann. Pure Appl. Log. 25, 1–17 (1983)
Apter A.: Tallness and level by level equivalence and inequivalence. Math. Log. Quart. 56, 4–12 (2010)
Apter A., Cummings J.: Identity crises and strong compactness. J. Symb. Log. 65, 1895–1910 (2000)
Apter, A., Gitman, V., Hamkins, J.D.: Inner models with large cardinal features usually obtained by forcing (submitted)
Apter A., Shelah S.: On the strong equality between supercompactness and strong compactness. Trans. Am. Math. Soc. 349, 103–128 (1997)
Ketonen J.: Strong compactness and other cardinal sins. Ann. Math. Log. 5, 47–76 (1972)
Laver R.: Making the supercompactness of κ indestructible under κ-directed closed forcing. Israel J. Math. 29, 385–388 (1978)
Lévy A., Solovay R.: Measurable cardinals and the continuum hypothesis. Israel J. Math. 5, 234–248 (1967)
Magidor M.: How large is the first strongly compact cardinal?. Ann. Math. Log. 10, 33–57 (1976)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author’s research was partially supported by PSC-CUNY grants.
Rights and permissions
About this article
Cite this article
Apter, A.W. Level by level inequivalence beyond measurability. Arch. Math. Logic 50, 707–712 (2011). https://doi.org/10.1007/s00153-011-0243-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0243-x
Keywords
- Supercompact cardinal
- Strongly compact cardinal
- Level by level inequivalence between strong compactness and supercompactness
- Non-reflecting stationary set of ordinals
- Magidor iteration of Prikry forcing