Relatively constructible transitive models
Volume 96 / 1977
Fundamenta Mathematicae 96 (1977), 161-172
DOI: 10.4064/fm-96-3-161-172