Proper forcing extensions and Solovay models
scientific article; zbMATH DE number 2105053
scientific article