A note on strong compactness and resurrectibility

ArticleOriginal scientific text

Title

Authors ¹

We construct a model containing a proper class of strongly compact cardinals in which no strongly compact cardinal ĸ is

ĸ^{+}

supercompact and in which every strongly compact cardinal has its strong compactness resurrectible.

supercompact cardinal, strongly compact cardinal, indestructibility, resurrectibility

A. Apter, Aspects of strong compactness, measurability, and indestructibility, Arch. Math. Logic, submitted.
A. Apter, Laver indestructibility and the class of compact cardinals, J. Symbolic Logic 63 (1998) 149-157.
A. Apter, Patterns of compact cardinals, Ann. Pure Appl. Logic 89 (1997), 101-115.
A. Apter and M. Gitik, The least measurable can be strongly compact and indestructible, J. Symbolic Logic 63 (1998), 1404-1412.
A. Apter and J. D. Hamkins, Universal indestructibility, Kobe J. Math. 16 (1999), 119-130.
A. Apter and S. Shelah, Menas' result is best possible, Trans. Amer. Math. Soc. 349 (1997), 2007-2034.
J. Cummings, A model in which GCH holds at successors but fails at limits, ibid. 329 (1992), 1-39.
J. D. Hamkins, Destruction or preservation as you like it, Ann. Pure Appl. Logic 91 (1998), 191-229.
J. D. Hamkins, Gap forcing, Israel J. Math., to appear.
J. D. Hamkins, Gap forcing: generalizing the Lévy-Solovay theorem, Bull. Symbolic Logic 5 (1999), 264-272.
J. D. Hamkins, Small forcing makes any cardinal superdestructible, J. Symbolic Logic 63 (1998), 51-58
J. D. Hamkins, The lottery preparation, Ann. Pure Appl. Logic 101 (2000), 103-146.
R. Laver, Making the supercompactness of κ indestructible under κ -directed closed forcing, Israel J. Math. 29 (1978), 385-388.
A. Lévy and R. Solovay, Measurable cardinals and the continuum hypothesis, ibid. 5 (1967), 234-248.
T. Menas, On strong compactness and supercompactness, Ann. Math. Logic 7 (1974), 327-359.