Starting from a supercompact cardinal κ, we force and construct a model in which κ is both the least strongly compact and least supercompact cardinal and κ exhibits mixed levels of indestructibility. Specifically, κ's strong compactness, but not its supercompactness, is indestructible under any κ-directed closed forcing which also adds a Cohen subset of κ. On the other hand, in this model, κ's supercompactness is indestructible under any κ-directed closed forcing which does not add a Cohen subset of κ.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We show that certain relatively consistent structural properties of the class of supercompact cardinals are also relatively consistent with the Wholeness Axioms.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We construct three models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In the first two models, below the supercompact cardinal κ, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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ć.