We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness ...

Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ < κ | δ is measurable, yet δ is neither δ+ strongly compact nor a limit of measurable cardinals} must be unbounded in κ. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two models in which A = ∅. The first of these cont...

We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V |= ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension V [G] |= ZFC + GCH in which, (a) (preservation) for κ ≤ λ regular, if V |...

We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V |= ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension V [G] |= ZFC + GCH in which, (a) (preservation) for κ ≤ λ regular, if V |...

Starting from a model with Laver-indestructible supercompact cardinal $$\kappa $$ , we construct of $$ZF+DC_{\kappa }$$ where there are no -mad families.

We present a strongly compact version of the Supercompact Magidor forcing ([3]). A variation of it is used to show that the following is consistent: V ⊇ W are transitive models of ZFC+GCH with the same ordinals such that: 1. κ is an inaccessible in W , 2. κ changes its cofinality to ω1 in V witnessed by a club ⟨κα | α < ω1⟩, 3. for every α < ω1, (κ ++ α ) W < κα , 4. (κ++)W = κ+. 1 Preliminary ...

We provide an exposition of supercompact Radin forcing and present several methods for iterating Radin forcing. In this paper we give an exposition of supercompact Radin forcing using coherent sequences of ultrafilters. This version of Radin forcing includes as special cases the Prikry forcing and Magidor forcing, both the measurable and supercompact versions. We also introduce some methods for...

We investigate some possible interactions between an indestructibly supercompact cardinal and a generalization of a property originally due to Levinski [18].