## Journal of Symbolic Logic

### Preserving preservation

#### Abstract

We prove that the property “P doesn't make the old reals Lebesgue null” is preserved under countable support iterations of proper forcings, under the additional assumption that the forcings are nep (a generalization of Suslin proper) in an absolute way. We also give some results for general Suslin ccc ideals.

#### Article information

Source
J. Symbolic Logic, Volume 70, Issue 3 (2005), 914-945.

Dates
First available in Project Euclid: 22 July 2005

https://projecteuclid.org/euclid.jsl/1122038920

Digital Object Identifier
doi:10.2178/jsl/1122038920

Mathematical Reviews number (MathSciNet)
MR2155272

Zentralblatt MATH identifier
1115.03070

#### Citation

Kellner, Jakob; Shelah, Saharon. Preserving preservation. J. Symbolic Logic 70 (2005), no. 3, 914--945. doi:10.2178/jsl/1122038920. https://projecteuclid.org/euclid.jsl/1122038920

#### References

• Tomek Bartoszynski and Haim Judah Set theory: On the structure of the real line, A K Peters, Wellesley, MA,1995.
• Martin Goldstern Tools for Your Forcing Construction, Set theory of the reals (Haim Judah, editor), Israel Mathematical Conference Proceedings, vol. 6, American Mathematical Society,1993, pp. 305--360.
• Martin Goldstern and Jakob Kellner New reals: Can live with them, can live without them, preprint, see http://arxiv.org/math.LO/0505471.
• Jaime Ihoda (Haim Judah) and Saharon Shelah Souslin forcing, Journal of Symbolic Logic, vol. 53 (1988), pp. 1188--1207.
• Thomas Jech Set theory, Monographs in mathematics, Springer-Verlag,2002, 3rd millennium ed.
• Akihiro Kanamori The higher infinite, Perspectives in Mathematical Logic, Springer-Verlag,1994.
• Jakob Kellner Preserving non-null with Suslin$^+$ forcings, preprint, see http://arxiv.org/math.LO/0211385.
• Miroslav Repicky Goldstern-Judah-Shelah preservation theorem for countable support iterations, Fundamenta Mathematicae, vol. 144 (1994), pp. 55--72.
• Andrzej Roslanowski and Saharon Shelah Measured creatures, series Israel Journal of Mathematics, accepted, math.LO/0010070.
• Chaz Schlindwein A short proof of the preservation of the $\omega^\omega$-bounding property, Mathematical Logic Quarterly, vol. 50 (2004), no. 1, pp. 29--32.
• Saharon Shelah Proper and improper forcing, Perspectives in Mathematical Logic, Springer-Verlag,1998.
• R. M. Solovay and S. Tennenbaum Iterated Cohen extensions and Souslin's problem, Annals of Mathematics. Second Series, vol. 94 (1971), pp. 201--245.
• Jindřich Zapletal Descriptive set theory and definable forcing, Memoirs of the American Mathematical Society, vol. 167, 3 (2004), no. 793.