Abstract
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2κ = κ +, another for which 2κ = κ ++ and another in which the least strongly compact cardinal is supercompact. If there is a strongly compact cardinal, then there is an inner model with a strongly compact cardinal, for which the measurable cardinals are bounded below it and another inner model W with a strongly compact cardinal κ, such that \({H^{V}_{\kappa^+} \subseteq {\rm HOD}^W}\). Similar facts hold for supercompact, measurable and strongly Ramsey cardinals. If a cardinal is supercompact up to a weakly iterable cardinal, then there is an inner model of the Proper Forcing Axiom and another inner model with a supercompact cardinal in which GCH + V = HOD holds. Under the same hypothesis, there is an inner model with level by level equivalence between strong compactness and supercompactness, and indeed, another in which there is level by level inequivalence between strong compactness and supercompactness. If a cardinal is strongly compact up to a weakly iterable cardinal, then there is an inner model in which the least measurable cardinal is strongly compact. If there is a weakly iterable limit δ of <δ-supercompact cardinals, then there is an inner model with a proper class of Laver-indestructible supercompact cardinals. We describe three general proof methods, which can be used to prove many similar results.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Apter A.W.: On level by level equivalence and inequivalence between strong compactness and supercompactness. Fund. Math. 171(1), 77–92 (2002)
Apter A.W.: Diamond, square, and level by level equivalence. Arch. Math. Log. 44(3), 387–395 (2005)
Apter A.W.: Tallness and level by level equivalence and inequivalence. Math. Log. Q. 56(1), 4–12 (2010)
Apter A.W.: Level by level inequivalence beyond measurability. Arch. Math. Log. 50(7-8), 707–712 (2011)
Apter A.W., Shelah S.: On the strong equality between supercompactness and strong compactness. Trans. Am. Math. Soc. 349(1), 103–128 (1997)
Baumgartner J.E.: Applications of the proper forcing axiom. In: Kunen, K., Vaughan, J. (eds) Handbook of Set Theoretic Topology, pp. 913–959. North-Holland, Amsterdam (1984)
Brooke-Taylor A.: Large cardinals and definable well-orders on the universe. J. Symb. Log. 74(2), 641–654 (2009)
Dobrinen N., Friedman S.D.: Internal consistency and global co-stationarity of the ground model. J. Symb. Log. 73(2), 512–521 (2008)
Dobrinen N., Friedman S.D.: The consistency strength of the tree property at the double successor of a measurable cardinal. Fund. Math. 208(2), 123–153 (2010)
Foreman M.D.: Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals. Adv. Math. 222(2), 565–595 (2009)
Friedman S.D.: Internal consistency and the inner model hypothesis. Bull. Symb. Log. 12(4), 591–600 (2006)
Friedman, S.: Aspects of HOD, supercompactness, and set theoretic geology. PhD thesis, The Graduate Center of the City University of New York (2009)
Gitman, V., Hamkins, J.D., Johnstone, T.A.: What is the theory ZFC without power set? (submitted for publication)
Gitman V.: Ramsey-like cardinals. J. Symb. Log. 76(2), 519–540 (2011)
Gitman V., Welch P.D.: Ramsey-like cardinals II. J. Symb. Log. 76(2), 541–560 (2011)
Hamkins J.D.: Fragile measurability. J. Symb. Log. 59(1), 262–282 (1994)
Hamkins J.D.: The lottery preparation. Ann. Pure Appl. Log. 101, 103–146 (2000)
Hamkins J.D.: The ground axiom. Oberwolfach Rep. 55, 3160–3162 (2005)
Hamkins, J.D., Seabold, D.: Boolean ultrapowers (in preparation)
Kunen K.: Some applications of iterated ultrapowers in set theory. Ann. Math. Log. 1, 179–227 (1970)
Laver R.: Making the supercompactness of κ indestructible under κ-directed closed forcing. Israel J. Math. 29(4), 385–388 (1978)
Lévy A., Solovay R.M.: Measurable cardinals and the continuum hypothesis. Israel J. Math. 5, 234–248 (1967)
Magidor M.: How large is the first strongly compact cardinal? or a study on identity crises. Ann. Math. Log. 10(1), 33–57 (1976)
Mitchell W.J.: Ramsey cardinals and constructibility. J. Symb. Log. 44(2), 260–266 (1979)
Reitz, J.: The ground axiom. PhD thesis, The Graduate Center of the City University of New York (2006)
Reitz J.: The ground axiom. J. Symb. Log. 72(4), 1299–1317 (2007)
Solovay R.M. et al.: Strongly compact cardinals and the GCH. In: Henkin, L. (ed) Proceedings of the Tarski Symposium, Proceedings Symposia Pure Mathematics, volume XXV, University of California, Berkeley, 1971, pp. 365–372. American Mathematical Society, Providence, Rhode Island (1974)
Welch P.: On unfoldable cardinals, omega cardinals, and the beginning of the inner model hierarchy. Arch. Math. Log. 43(4), 443–458 (2004)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Apter, A.W., Gitman, V. & Hamkins, J.D. Inner models with large cardinal features usually obtained by forcing. Arch. Math. Logic 51, 257–283 (2012). https://doi.org/10.1007/s00153-011-0264-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0264-5