On the I-condition

DOI10.1007/BF02761160MaRDI QIDQ802553zbMATH OpenFDO

Authors S. Shelah, Moti Gitik

Publication date 1984

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02761160

zbMATH Keywords

iterated forcing without adding reals

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40)

Review text

The \({\mathbb{I}}\)-condition on forcing notions which implies that the forcing it satisfies does not add reals, was introduced by \textit{S. Shelah} [Proper forcing (1982; Zbl 0495.03035), Chapter XI {\S}2]. Some examples of forcing notions that can iterate while preserving the \({\mathbb{I}}\)- condition are presented and a new sufficient condition on forcing is formulated for the revised countable support iterations preserving the \({\mathbb{I}}\)-condition.

Recommendations

• Shelah's work on non-semi-proper iterations. I
• More on proper forcing
• scientific article; zbMATH DE number 797413
• Understanding preservation theorems. II
• Proper forcing

Cites work

• A new class of order types
• Iterated forcing and changing cofinalities
• Proper forcing
• The nonstationary ideal on \(\aleph _ 2\)
• Two weak consequences of 0^#

Cited in

(9)

• The nonstationary ideal on \(\aleph _ 2\)
• Iterated forcing and normal ideals on \(\omega _ 1\)
• Namba forcing and no good scale
• scientific article; zbMATH DE number 6686885 (Why is no real title available?)
• Two weak consequences of 0^#
• A Sacks real out of nowhere
• Simplified RCS iterations
• Large continuum, oracles
• Shelah's work on non-semi-proper iterations. I

This page was built for publication: On the \({\mathbb{I}}\)-condition

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