Skip to main content
Log in

The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \({\theta}\)-supercompact

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly \({\theta}\)-supercompact, for any desired \({\theta}\). In addition, we prove several global results showing how the entire class of weakly compactcardinals, a proper class, can be made to coincide with the class of unfoldable cardinals, with the class of weakly measurable cardinals or with the class of nearly \({\theta_\kappa}\)-supercompact cardinals \({\kappa}\), for nearly any desired function \({\kappa\mapsto\theta_\kappa}\). These results answer several questions that had been open in the literature and extend to these large cardinals the identity-crises phenomenon, first identified by Magidor with the strongly compact cardinals.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. 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. Conference in honor of sixtieth birthday of James E. Baumgartner (2006)

  2. Gitman, V., Hamkins, J.D., Johnstone, T.A.: What is the theory ZFC without Powerset? (submitted)

  3. Gitman V., Welch P.D.: Ramsey-like cardinals II. J. Symb. Log. 76(2), 541–560 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  4. Hamkins J.D.: The lottery preparation. Ann. Pure Appl. Log. 101(2–3), 103–146 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  5. Hamkins J.D.: Unfoldable cardinals and the GCH. J. Symb. Log. 66(3), 1186–1198 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  6. Hamkins J.D., Johnstone T.A.: Indestructible strong unfoldability. Notre Dame J. Form. Log. 51(3), 291–321 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  7. Johnstone T.A.: Strongly unfoldable cardinals made indestructible. J. Symb. Log. 73(4), 1215–1248 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  8. Kunen K.: Saturated ideals. J. Symb. Log. 43(1), 65–76 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  9. Magidor M.: How large is the first strongly compact cardinal? Or a study on identity crises. Ann. Math. Log. 10(1), 33–57 (1976)

    Article  MathSciNet  Google Scholar 

  10. Reitz, J.: The Ground Axiom. In: PhD thesis, The Graduate Center of the City University of New York (2006)

  11. Schanker J.A.: Weakly measurable cardinals. MLQ Math. Log. Q. 57(3), 266–280 (2011)

    Article  MathSciNet  Google Scholar 

  12. Schanker, J.A.: Weakly measurable cardinals and partial near supercompactness. In: PhD thesis, CUNY Graduate Center (2011)

  13. Schanker J.A.: Partial near supercompactness. Ann. Pure Appl. Log. 164(2), 67–85 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  14. Villaveces A.: Chains of end elementary extensions of models of set theory. J. Symb. Log. 63(3), 1116–1136 (1998)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Brent Cody.

Additional information

The research of the second author was partially supported by Israel Science Foundation Grant No. 234/08 and 58/14. The research of the third author has been supported in part by NSF Grant DMS-0800762, PSC-CUNY Grant 64732-00-42 and Simons Foundation Grant 209252. Commentary concerning this paper can be made at http://jdh.hamkins.org/least-weakly-compact.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cody, B., Gitik, M., Hamkins, J.D. et al. The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \({\theta}\)-supercompact. Arch. Math. Logic 54, 491–510 (2015). https://doi.org/10.1007/s00153-015-0423-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-015-0423-1

Keyword

Mathematics Subject Classification

Navigation