Preserving preservation

DOI10.2178/JSL/1122038920MaRDI QIDQ5718695zbMATH OpenOpenAlexFDO

Authors Jakob Kellner, S. Shelah

Publication date 16 January 2006

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0405081

zbMATH Keywords

nep forcingpreservation theoremsproper forcing

Mathematics Subject Classification ID

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

Abstract: We present preservation theorems for countable support iteration of nep forcing notions satisfying ``old reals are not Lebesgue null and ``old reals are not meager. (Nep is a generalization of Suslin proper.) We also give some results for general Suslin ccc ideals.

Recommendations

• scientific article; zbMATH DE number 797413
• Understanding preservation theorems. II
• More on proper forcing
• Proper forcing
• Properness Without Elementaricity

Cites work

• A short proof of the preservation of the ω^ω‐bounding property
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Iterated Cohen extensions and Souslin's problem

Cited in

(17)

• Measured creatures
• Understanding preservation theorems: Chapter VI of \textit{Proper and improper forcing}. I
• Preserving non-null with Suslin^+ forcings
• Preserving coarse properties
• Preservation of complete Baireness
• Borel conjecture and dual Borel conjecture
• Understanding preservation theorems. II
• More on proper forcing
• Many countable support iterations of proper forcings preserve Souslin trees
• Goldstern–Judah–Shelah preservation theorem for countable support iterations
• PRESERVING TRANSFER BENEFIT FOR PRESENT AND FUTURE GENERATIONS
• scientific article; zbMATH DE number 797413 (Why is no real title available?)
• Fusion and large cardinal preservation
• A Sacks indestructible co-analytic maximal eventually different family
• New reals: Can live with them, can live without them
• The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
• Universally measurable sets may all be \(\mathop{\Delta}\limits_\sim{}^1_2\)

This page was built for publication: Preserving preservation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5718695)