On the first 𝑛 strongly compact cardinals

Apter, Arthur W.

doi:10.1090/S0002-9939-1995-1249867-6

On the first strongly compact cardinals

Author: Arthur W. Apter
Journal: Proc. Amer. Math. Soc. 123 (1995), 2229-2235
MSC: Primary 03E55; Secondary 03E35
DOI: https://doi.org/10.1090/S0002-9939-1995-1249867-6
MathSciNet review: 1249867
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Using techniques of Kimchi and Magidor, we generalize an earlier result and show that it is relatively consistent for the first n strongly compact cardinals to be somewhat supercompact yet not fully supercompact.

[A1] Arthur W. Apter, On the least strongly compact cardinal, Israel J. Math. 35 (1980), no. 3, 225–233. MR 576474, https://doi.org/10.1007/BF02761194
[A2] Arthur W. Apter, Some results on consecutive large cardinals, Ann. Pure Appl. Logic 25 (1983), no. 1, 1–17. MR 722166, https://doi.org/10.1016/0168-0072(83)90051-9
[KM] Y. Kimchi and M. Magidor, The independence between the concepts of strong compactness and supercompactness (in preparation).
[KP] K. Kunen and J. B. Paris, Boolean extensions and measurable cardinals, Ann. Math. Logic 2 (1970/1971), no. 4, 359–377. MR 0277381, https://doi.org/10.1016/0003-4843(71)90001-5
[L] Richard Laver, Making the supercompactness of 𝜅 indestructible under 𝜅-directed closed forcing, Israel J. Math. 29 (1978), no. 4, 385–388. MR 0472529, https://doi.org/10.1007/BF02761175
[LS] A. Lévy and R. M. Solovay, Measurable cardinals and the continuum hypothesis, Israel J. Math. 5 (1967), 234–248. MR 0224458, https://doi.org/10.1007/BF02771612
[Ma] Menachem Magidor, How large is the first strongly compact cardinal? or A study on identity crises, Ann. Math. Logic 10 (1976), no. 1, 33–57. MR 0429566, https://doi.org/10.1016/0003-4843(76)90024-3
[Me] Telis K. Menas, On strong compactness and supercompactness, Ann. Math. Logic 7 (1974/75), 327–359. MR 0357121, https://doi.org/10.1016/0003-4843(75)90009-1
[SRK] Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori, Strong axioms of infinity and elementary embeddings, Ann. Math. Logic 13 (1978), no. 1, 73–116. MR 482431, https://doi.org/10.1016/0003-4843(78)90031-1