Suppose $\langle P_\alpha,\dot{Q}_\alpha:\alpha\leq\omega_1\rangle$ is a full support iteration of (semi)proper forcings. Is the full limit $P_{\omega_1}$ (semi)proper or at least stationary set preserving?

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

By posting your answer, you agree to the privacy policy and terms of service.

asked

4 years ago

viewed

252 times