I need some help with this theorem: if $P_\beta=\langle P_\alpha,\dot{Q}_\alpha:\alpha\leq\beta\rangle$, $\beta<\omega_2$, is a CSI of proper forcings, $P_\alpha\Vdash \lvert \dot{Q}_\alpha\rvert\leq\aleph_1$, and CH holds in the ground model, then $P_\beta$ forces the CH in the generic extension.

A proof of this fact appears in the Handbook, but I need a diferent one. Just for simplicity, suppose $\beta=\omega$, then the problem is how to prove that $P_\omega$ forces the CH. Can someone give a clue or an idea of how to proceed?

Thanks.

needa different proof? – Amit Kumar Gupta Jan 27 '11 at 8:22