If κ < λ are such that κ is both supercompact and indestructible under κ-directed closed forcing which is also (κ+, ∞)-distributive and λ is 2λ 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 2δ = δ+ supercompact, κ's supercompactness is indestructible under κ-directed closed forcing which is also (κ+, ∞)-distributive, and for every measurable cardinal δ, δ is δ+ strongly compact if δ is δ+ supercompact.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.