Skip to main content
Log in

Universal indestructibility for degrees of supercompactness and strongly compact cardinals

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

Abstract

We establish two theorems concerning strongly compact cardinals and universal indestructibility for degrees of supercompactness. In the first theorem, we show that universal indestructibility for degrees of supercompactness in the presence of a strongly compact cardinal is consistent with the existence of a proper class of measurable cardinals. In the second theorem, we show that universal indestructibility for degrees of supercompactness is consistent in the presence of two non-supercompact strongly compact cardinals, each of which exhibits a significant amount of indestructibility for its strong compactness.

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.

Institutional subscriptions

Similar content being viewed by others

References

  1. Apter A.: Aspects of strong compactness, measurability, and indestructibility. Arch. Math. Log. 41, 705–719 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  2. Apter A.: Some remarks on indestructibility and Hamkins’ lottery preparation. Arch. Math. Log. 42, 717–735 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  3. Apter A.: Universal indestructibility is consistent with two strongly compact cardinals. Bull. Pol. Acad. Sci. 53, 131–135 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  4. Apter A., Gitik M.: The least measurable can be strongly compact and indestructible. J. Symb. Log. 63, 1404–1412 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  5. Apter A., Hamkins J.D.: Exactly controlling the non-supercompact strongly compact cardinals. J. Symb. Log. 68, 669–688 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  6. Apter A., Hamkins J.D.: Universal indestructibility. Kobe J. Math. 16, 119–130 (1999)

    MathSciNet  MATH  Google Scholar 

  7. Apter A., Sargsyan G.: Identity crises and strong compactness III: Woodin cardinals. Arch. Math. Log. 45, 307–322 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  8. Cummings J.: A model in which GCH holds at successors but fails at limits. Trans. Am. Math. Soc. 329, 1–39 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  9. Foreman, M.: More saturated ideals. In: Cabal Seminar 79–81. Lecture Notes in Mathematics, vol. 1019, pp. 1–27. Springer, Berlin (1983)

  10. Hamkins J.D.: Gap forcing. Isr. J. Math. 125, 237–252 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  11. Hamkins J.D.: Gap forcing: generalizing the Lévy-Solovay theorem. Bull. Symb. Log. 5, 264–272 (1999)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  13. Laver R.: Making the supercompactness of κ indestructible under κ-directed closed forcing. Isr. J. Math. 29, 385–388 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  14. Lévy A., Solovay R.: Measurable cardinals and the continuum hypothesis. Isr. J. Math. 5, 234–248 (1967)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Arthur W. Apter.

Additional information

The first author’s research was partially supported by PSC-CUNY grants and CUNY Collaborative Incentive grants. The first author wishes to thank James Cummings for helpful discussions on the subject matter of this paper. In addition, both authors wish to thank the referee, for many helpful comments and suggestions which were incorporated into the current version of the paper.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Apter, A.W., Sargsyan, G. Universal indestructibility for degrees of supercompactness and strongly compact cardinals. Arch. Math. Logic 47, 133–142 (2008). https://doi.org/10.1007/s00153-008-0072-8

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-008-0072-8

Keywords

Mathematics Subject Classification (2000)

Navigation