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

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

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1122038920

Digital Object Identifier
doi:10.2178/jsl/1122038920

Mathematical Reviews number (MathSciNet)
MR2155272

Zentralblatt MATH identifier
1115.03070

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

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


Export citation

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.