A Note on Indestructibility and Strong Compactness
If κ < λ are such that κ is both supercompact and indestructible under κ-directed closed forcing which is also (κ⁺,∞)-distributive and λ is supercompact, then by a result of Apter and Hamkins [J. Symbolic Logic 67 (2002)], δ < κ | δ is δ⁺ strongly compact yet δ is not δ⁺ supercompact must be unbounded in κ. We show that the large cardinal hypothesis on λ is necessary by constructing a model containing a supercompact cardinal κ in which no cardinal δ > κ is supercompact, κ’s supercompactness...