Some references:

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.

2. H.-D. Donder and J.-P. Levinski, Some principles related to Chang's Conjecture: A proof is given without use of Martin's Axiom, and also using a Levy collapse instead of a Silver collapse.

3. M. Foreman, Large cardinals and strong model-theoretic transfer properties.

Some references:

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.

2. H.-D. Donder and J.-P. Levinski, Some principles related to Chang's Conjecture: A proof is given without use of Martin's Axiom, and also using a Levy collapse instead of a Silver collapse.

3. K. Devlin, A note on a problem of Erdos and Hajnal: A generalization of Silver's theorem is proved.