Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6424797 | Annals of Pure and Applied Logic | 2014 | 36 Pages |
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 iterations in the so-called Case A that does not need a division into forcings that add reals and those who do not.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Heike Mildenberger, Saharon Shelah,