Abstract Corrected Iterations

Abstract: We consider

(< l a m b d a)

-support iterations of

(< l a m b d a)

-strategically complete

l a m b d a^{+}

-c.c. definable forcing notions along partial orders. We show that such iterations can be corrected to yield an analog of a result by Judah and Shelah for finite support iterations of Suslin ccc forcing, namely that if

is a FS iteration of Suslin ccc forcing and

U s u b s e t e q d e l t a

is sufficiently closed, then letting

m a t h b b P_{U}

be the iteration along

U

, we have

m a t h b b P_{U} l e s s d o t m a t h b b P_{d e l t a}

.

This page was built for publication: Abstract Corrected Iterations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6508856)