Corrected Iteration

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