More about lambda-support iterations of <lambda-complete forcing notions
Logic
2013-08-20 v3
Abstract
This article continues Ros{\l}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).
Keywords
Cite
@article{arxiv.1105.6049,
title = {More about lambda-support iterations of <lambda-complete forcing notions},
author = {Andrzej Roslanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:1105.6049},
year = {2013}
}