Skip to main content
×
×
Home

Exactly controlling the non-supercompact strongly compact cardinals

  • Arthur W. Apter (a1) and Joel David Hamkins (a2) (a3)
Abstract

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve and unify Theorems 1 and 2 of [5], due to the first author.

Copyright
References
Hide All
[1]Abe, Y., Some results concerning strongly compact cardinals, this Journal, vol. 50 (1985), pp. 874880.
[2]Apter, A., On the least strongly compact cardinal, Israel Journal of Mathematics, vol. 35 (1980), pp. 225233.
[3]Apter, A., On the first n strongly compact cardinals, Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 22292235.
[4]Apter, A., More on the least strongly compact cardinal, Mathematical Logic Quarterly, vol. 43 (1997), pp. 427430.
[5]Apter, A., Patterns of compact cardinals, Annals of Pure and Applied Logic, vol. 89 (1997), pp. 101115.
[6]Apter, A., Laver indestructibility and the class of compact cardinals, this Journal, vol. 63 (1998), pp. 149157.
[7]Apter, A., Strong compactness, measurability, and the class of supercompact cardinals, Fundamenta Mathematicae, vol. 167 (2001), pp. 6578.
[8]Apter, A. and Cummings, J., Identity crises and strong compactness, this Journal, vol. 65 (2000), pp. 18951910.
[9]Apter, A., Identity crises and strong compactness II: Strong cardinals, Archive for Mathematical Logic, vol. 40 (2001), pp. 2538.
[10]Apter, A. and Gitik, M., The least measurable can be strongly compact and indestructible, this Journal, vol. 63 (1998), pp. 14041412.
[11]Apter, A. and Hamkins, J. D., Indestructibility and the level-by-level agreement between strong compactness and supercompactness, this Journal, vol. 67 (2002), pp. 820840.
[12]Apter, A. and Shelah, S., On the strong equality between supercompactness and strong compactness, Transactions of the American Mathematical Society, vol. 349 (1997), pp. 103128.
[13]Burgess, J., Forcing, Handbook of Mathematical Logic (Barwise, J., editor), North-Holland, Amsterdam, 1977, pp. 403452.
[14]Cummings, J., A model in which GCH holds at successors but fails at limits, Transactions of the American Mathematical Society, vol. 329 (1992), pp. 139.
[15]Foreman, M., More saturated ideals, Cabal Seminar 79-81, Lecture Notes in Mathematics, vol. 1019, Springer-Verlag, Berlin and New York, 1983, pp. 127.
[16]Gitik, M., Changing cofinalities and the nonstationary ideal, Israel Journal of Mathematics, vol. 56 (1986), pp. 280314.
[17]Hamkins, J. D., Destruction orpreservation as you like it, Annals of Pure and Applied Logic, vol. 91 (1998), pp. 191229.
[18]Hamkins, J. D., Gap forcing: Generalizing the LÉvy-Solovay Theorem, The Bulletin of Symbolic Logic, vol. 5 (1999), pp. 264272.
[19]Hamkins, J. D., The lottery preparation, Annals of Pure and Applied Logic, vol. 101 (2000), pp. 103146.
[20]Hamkins, J. D., Gap forcing, Israel Journal of Mathematics, vol. 125 (2001), pp. 237252.
[21]Hamkins, J. D. and Woodin, W. H., Small forcing creates neither strong nor Woodin cardinals, Proceedings of the American Mathematical Society, vol. 128 (2000), pp. 30253029.
[22]Kanamori, A., The Higher Infinite, Springer-Verlag, Berlin and New York, 1994.
[23]Kimchi, Y. and Magidor, M., The independence between the concepts of compactness and super-compactness, circulated manuscript.
[24]Laver, R., Making the supercompactness of κ indestructible under κ-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 385388.
[25]Lévy, A. and Solovay, R., Measurable cardinals and the continuum hypothesis, Israel Journal of Mathematics, vol. 5 (1967), pp. 234248.
[26]Magidor, M., How large is the first strongly compact cardinal?, Annals of Mathematical Logic, vol. 10 (1976), pp. 3357.
[27]Menas, T., On strong compactness and supercompactness, Annals of Mathematical Logic, vol. 7 (1974), pp. 327359.
[28]Solovay, R., Strongly compact cardinals and the GCH, Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, American Mathematical Society, 1974, pp. 365372.
[29]Solovay, R., Reinhardt, W., and Kanamori, A., Strong axioms of infinity and elementary embeddings, Annals of Mathematical Logic, vol. 13 (1978), pp. 73116.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed