Lords of the iteration
Logic
2013-01-04 v2
Abstract
We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067, covering some new forcing notions (though the exact relation of the new properties to the old ones remains undecided).
Cite
@article{arxiv.math/0611131,
title = {Lords of the iteration},
author = {Andrzej Roslanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0611131},
year = {2013}
}