Iteration of lambda-complete forcing notions not collapsing lambda^+
Logic
2013-01-04 v3
Abstract
We look for a parallel to the notion of ``proper forcing'' among lambda-complete forcing notions not collapsing lambda^+ . We suggest such a definition and prove that it is preserved by suitable iterations.
Cite
@article{arxiv.math/9906024,
title = {Iteration of lambda-complete forcing notions not collapsing lambda^+},
author = {Andrzej Roslanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9906024},
year = {2013}
}
Comments
Preliminary Report