"Minimal Collapsing Extensions of Models of ZFC."

Lev Bukovský, Eva Copláková-Hartová (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics