Iteration of λ-complete forcing notions not collapsing λ+
Andrzej Rosłanowski1and Saharon Shelah2,3
Received25 Feb 2001
Revised06 Aug 2001
Abstract
We look for a parallel to the notion of proper forcing among λ-complete forcing notions not collapsing λ+. We suggest such a definition and prove that it is preserved by suitable iterations.