Abstract
We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost-hugely unfoldable cardinals, and we show that their existence is equiconsistent over ZFC with natural instances of the boldface resurrection axiom, such as the boldface resurrection axiom for proper forcing.
Similar content being viewed by others
References
Dz̆amonja, M., Hamkins, J.D.: Diamond (on the regulars) can fail at any strongly unfoldable cardinal. Ann. Pure Appl. Log. 144(1–3), 83–95 (2006). (conference in honor of sixtieth birthday of James E. Baumgartner)
Gitman, V., Hamkins, J.D., Johnstone, T.A.: What is the theory ZFC without Power set? Math Logic Quarterly 62(4–5):391–406 (2016)
Goldstern, M., Shelah, S.: The bounded proper forcing axiom. J. Symb. Log. 60(1), 58–73 (1995)
Hamkins, J.D.: Forcing and Large Cardinals (book manuscript in preparation)
Hamkins, J.D.: The lottery preparation. Ann. Pure Appl. Log. 101(2–3), 103–146 (2000)
Hamkins, J.D.: Unfoldable cardinals and the GCH. J. Symb. Log. 66(3), 1186–1198 (2001)
Hamkins, J.D.: A class of strong diamond principles. arXiv:math/0211419 (2002)
Hamkins, J.D., Johnstone, T.A.: Indestructible strong unfoldability. Notre Dame J. Form. Log. 51(3), 291–321 (2010)
Hamkins, J.D.: Resurrection axioms and uplifting cardinals. Arch. Math. Log. 53(3–4), 463–485 (2014)
Johnstone, T.A.: Strongly unfoldable cardinals made indestructible. Ph.D. thesis, The Graduate Center of the City University of New York (2007)
Johnstone, T.A.: Strongly unfoldable cardinals made indestructible. J. Symb. Log. 73(4), 1215–1248 (2008)
Miyamoto, T.: A note on weak segments of PFA. In: Proceedings of the Sixth Asian Logic Conference (Beijing, 1996), pp. 175–197. World Scientific Publishing, River Edge (1998)
Neeman, I.: Schimmerling, Ernest: Hierarchies of forcing axioms I. J. Symb. Log. 73(1), 343–362 (2008)
Villaveces, A.: Chains of end elementary extensions of models of set theory. J. Symb. Log. 63(3), 1116–1136 (1998)
Villaveces, A., Leshem, A.: The failure of GCH at unfoldable cardinals. J. Symb. Log. (1999) (submitted)
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is a successor to [9]. The research of the first author has been supported in part by NSF Grant DMS-0800762, PSC-CUNY Grant 64732-00-42 and Simons Foundation Grant 209252, and the authors together are supported by Grant 80209-06 20 from the CUNY Collaborative Incentive Award program. The research of the second author has been supported by a CUNY Scholar Incentive Award, PSC-CUNY Grants 62803-00-40 and 64682-00-42, and by Grants P20835-N13 and P21968-N13 from the Austrian Science Fund (FWF) during his 2009–2010 visit to the Kurt Gödel Research Center at the University of Vienna. Commentary concerning this article can be made at http://jdh.hamkins.org/strongly-uplifting-cardinals-and-boldface-resurrection.
Rights and permissions
About this article
Cite this article
Hamkins, J.D., Johnstone, T.A. Strongly uplifting cardinals and the boldface resurrection axioms. Arch. Math. Logic 56, 1115–1133 (2017). https://doi.org/10.1007/s00153-017-0542-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0542-y