pith. sign in

arxiv: 1309.0196 · v1 · pith:MFYX4GOSnew · submitted 2013-09-01 · 🧮 math.LO

Many countable support iterations of proper forcings preserve Souslin trees

classification 🧮 math.LO
keywords countableforcingssupportiterationsmanypreservationpreserveproper
0
0 comments X
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.