Chang's Conjecture, The Weak Reflection Principle and the Tree Property at ${\omega }_2$

Victor Torres-Perez, Liuzhen Wu

We prove that a strong version of Chang's Conjecture, equivalent to the Weak Reflection Principle at ${\omega }_2$, together with $2^{\omega }={\omega }_2$, imply there are no ${\omega }_2$-Aronszajn trees.