Displaying similar documents to “On iterated forcing for successors of regular cardinals”

The consistency of 𝔟 = κ and 𝔰 = κ⁺

Vera Fischer, Juris Steprāns (2008)

Fundamenta Mathematicae

Similarity:

Using finite support iteration of ccc partial orders we provide a model of 𝔟 = κ < 𝔰 = κ⁺ for κ an arbitrary regular, uncountable cardinal.

Hybrid Prikry forcing

Dima Sinapova (2015)

Fundamenta Mathematicae

Similarity:

We present a new forcing notion combining diagonal supercompact Prikry forcing with interleaved extender based forcing. We start with a supercompact cardinal κ. In the final model the cofinality of κ is ω, the singular cardinal hypothesis fails at κ, and GCH holds below κ. Moreover we define a scale at κ which has a stationary set of bad points in the ground model.

Indestructible Strong Compactness and Level by Level Equivalence with No Large Cardinal Restrictions

Arthur W. Apter (2015)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We construct a model for the level by level equivalence between strong compactness and supercompactness with an arbitrary large cardinal structure in which the least supercompact cardinal κ has its strong compactness indestructible under κ-directed closed forcing. This is in analogy to and generalizes the author's result in Arch. Math. Logic 46 (2007), but without the restriction that no cardinal is supercompact up to an inaccessible cardinal.