3. The Tree Property
-
Problem 3.35.
[Unger] Suppose $\kappa$ is singular with cofinality $\omega_1$. Let $\lambda=\kappa^+$. Must $\square_{\omega_1}^*$ hold in a forcing extension where $\lambda$ is $\aleph_2$?
Cite this as: AimPL: From ℵ2 to infinity, available at http://aimpl.org/alephtwo.