Specializing Trees with Small Approximations I
Abstract
Assuming $\rm PFA$, we shall use internally club $\omega_1$-guessing models as side conditions to show that for every tree $T$ of height $\omega_2$ without cofinal branches, there is a proper and $\aleph_2$-preserving forcing notion with finite conditions which specialises $T$. Moreover, the forcing has the $\omega_1$-approximation property.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2021
- DOI:
- 10.48550/arXiv.2101.01594
- arXiv:
- arXiv:2101.01594
- Bibcode:
- 2021arXiv210101594M
- Keywords:
-
- Mathematics - Logic;
- 03E35