by Shelah. [Sh:1126]
For lambda inaccessible, we may consider (< lambda)-support
iteration of some specific (< lambda)-complete
lambda^+-c.c. forcing notion. But this fails a ``preservation by
restricting to a sub-sequence of the forcing, we ``correct'' the
iteration to regain it. This is used in another paper in the
consistency of cov(meagre) < gd_lambda .
Back to the list of publications