Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles
Volume 236 / 2017
Fundamenta Mathematicae 236 (2017), 247-262
MSC: 03E05, 03E30, 03E55.
DOI: 10.4064/fm257-5-2016
Published online: 2 December 2016
Abstract
We prove that a strong version of Chang’s Conjecture implies both the Strong Tree Property for $\omega _2$ and the negation of the square principle $\square (\lambda , \omega )$ for every regular cardinal $\lambda \geq \omega _2$.
