"Large Cardinals and Definable Counterexamples to the Continuum Hypothesis."

Matthew Foreman, Menachem Magidor (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics