title: Strong Chang's Conjecture and the tree property atω2.
abstract: We prove that a strong version of Chang's Conjecture together with [Formula: see text] implies there are no [Formula: see text]-Aronszajn trees.
authors.affiliation: Institut für Diskrete Mathematik und Geometrie, TU Wien, Wiedner Haupstraße 8-10/104, 1040 Vienna, Austria.
authors.forename: Víctor
authors.initials: V
authors.lastname: Torres-Pérez
authors.affiliation: Institute of Mathematics, Chinese Academy of Sciences, East Zhong Guan Cun Road No. 55, Beijing 100190, China.
authors.forename: Liuzhen
authors.initials: L
authors.lastname: Wu
keywords: Strong Chang's Conjecture; Tree property