Journal of Symbolic Logic

Preserving preservation

Jakob Kellner and Saharon Shelah

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


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

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

First available in Project Euclid: 22 July 2005

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03E40: Other aspects of forcing and Boolean-valued models 03E17: Cardinal characteristics of the continuum


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

Export citation


  • 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
  • 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
  • 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.