Abstract Corrected Iterations

Haim Horowitz, Saharon Shelah

We consider $(<\lambda )$-support iterations of a version of $(<\lambda )$-strategically complete ${\lambda }^{+}$-c.c. definable forcing notions along partial orders. We show that such iterations can be c…