We prove that a strong version of Chang's Conjecture together with 2ω=ω2 implies there are no ω2-Aronszajn trees.

中文翻译：

---

强张猜想和ω2处的树性质

我们证明了 Chang 猜想的强版本以及 2ω=ω2 意味着不存在 ω2-Aronszajn 树。