Many countable support iterations of proper forcings preserve Souslin trees
classification
🧮 math.LO
keywords
countableforcingssupportiterationsmanypreservationpreserveproper
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.