# Reference for proof that consistency of $\omega_1$-Erdos cardinal implies Con(Chang's Conjecture)

What is a good source for Silver's proof (or a more modern version) that Con($\exists \omega_1$-Erdos cardinal) implies Con(Chang's Conjecture)?

Silver's original proof seems to have never been published and I didn't find a proof in the set theory books I looked at (i.e. Jech's "Set Theory: the 3rd Millennium Edition" and Kanamori's "Higher Infinite")

1) K. Kunen, Saturated ideals: The consistency of $(\omega_{n+2}, \omega_{n+1})\twoheadrightarrow (\omega_{n+1}, \omega_n)$ for $n \geq 1$ has been established starting with a huge cardinal.