Preserving Preservation
arXiv:math/0405081 · doi:10.2178/jsl/1122038920
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.