Countable Support Iteration Revisited
arXiv:math/0106203
Abstract
Whenever P is a proper definable forcing for adding a real, the countable support iteration of P has all the preservation properties it can possibly have, within a wide syntactically identified class of properties.