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.