Iteration of \(\lambda\)-complete forcing notions not collapsing \(\lambda^+\) (Q1599773): Difference between revisions

The paper continues the development of a theory which is parallel to the theory of proper forcing notions in countable support iterations for iterations with larger supports. The authors introduce definitions of properties of forcing notions (including properness over a cardinal \(\lambda\)) and prove a preservation theorem for forcing iterations with \(<\lambda^+\) support. They give three examples of forcing notions having the introduced properties (one of them is a relative of Baumgartner's forcing for adding a club to \(\aleph_1\)). The paper is concluded by a discussion on application to forcing axioms and some variants of the definitions.