Many countable support iterations of proper forcings preserve Souslin trees
Logic
2013-09-03 v1
Abstract
We show that many countable support iterations of proper forcings preserve Souslin trees. We establish sufficient conditions in terms of games and we draw connections to other preservation properties. We present a proof of preservation properties in countable support interations in the so-called Case A that does not need a division into forcings that add reals and those who do not.
Keywords
Cite
@article{arxiv.1309.0196,
title = {Many countable support iterations of proper forcings preserve Souslin trees},
author = {Heike Mildenberger and Saharon Shelah},
journal= {arXiv preprint arXiv:1309.0196},
year = {2013}
}
Comments
44 pages