Chang's Conjecture, The Weak Reflection Principle and the Tree Property at $ω_2$
We prove that a strong version of Chang's Conjecture, equivalent to the Weak Reflection Principle at $ω_2$, together with $2^ω=ω_2$, imply there are no $ω_2$-Aronszajn trees.
math.LO↗