|
|||||
|
|
New reals: Can live with them,can live without them |
|
| Authors: | Martin Goldstern Jakob Kellner |
| Abstract: | We give a self‐contained proof of the preservation theorem for proper countable support iterations known as “tools‐preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | Preservation theorems proper forcing countable support iteration |