Gap forcing: generalizing the Lévy-Solovay theorem Posted on September 25, 2011 by Joel David Hamkins