Proper forcing extensions and Solovay models

From MaRDI portal
Publication:1882626