Proper forcing extensions and Solovay models | Publicación