Displaying similar documents to “Forcings which preserve large cardinals”

On iterated forcing for successors of regular cardinals

Todd Eisworth (2003)

Fundamenta Mathematicae

Similarity:

We investigate the problem of when ≤λ-support iterations of < λ-complete notions of forcing preserve λ⁺. We isolate a property- properness over diamonds-that implies λ⁺ is preserved and show that this property is preserved by λ-support iterations. Our condition is a relative of that presented by Rosłanowski and Shelah in [2]; it is not clear if the two conditions are equivalent. We close with an application of our technology by presenting a consistency result on uniformizing colorings...