Chang's Conjecture with $ square _{ omega _1, 2}$ from an ømega 1-Erdős cardinal. - Itay Neeman; John Susice (Arch. Math. Log., 2020)