Quotients of Strongly Proper Forcings and Guessing Models
Abstract
We prove that a wide class of strongly proper forcing posets have quotients with strong properties. Specifically, we prove that quotients of forcing posets which have simple universal strongly generic conditions on a stationary set of models by certain nice regular suborders satisfy the $\omega_1$-approximation property. We prove that the existence of stationarily many $\omega_1$-guessing models in $P_{\omega_2}(H(\theta))$, for sufficiently large cardinals $\theta$, is consistent with the continuum being arbitrarily large, solving a problem of Viale and Weiss.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2014
- DOI:
- 10.48550/arXiv.1406.3306
- arXiv:
- arXiv:1406.3306
- Bibcode:
- 2014arXiv1406.3306C
- Keywords:
-
- Mathematics - Logic;
- 03E40;
- 03E35