首页 正文

Strong Chang's Conjecture and the tree property at ω2

{{output}}
We prove that a strong version of Chang's Conjecture together with [Formula: see text] implies there are no [Formula: see text]-Aronszajn trees. Ke... ...