"A Covering Lemma for HOD of K(ℝ)."

Daniel W. Cunningham (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics