Solovay models and forcing extensions | Publicación