More about lambda-support iterations of <lambda-complete forcing notions
arXiv:1105.6049 · doi:10.1007/s00153-013-0334-y
Abstract
This article continues RosÅanowski and Shelah math.LO/9906024, math.LO/0508272, math.LO/0210205, math.LO/0611131 and math.LO/0605067. We introduce here a new property of <lambda-strategically complete forcing notions which implies that their lambda-support iterations do not collapse lambda^+ (for a strongly inaccessible cardinal lambda).