A large cardinal in the constructible universe
Volume 69 / 1970
Fundamenta Mathematicae 69 (1970), 93-100
DOI: 10.4064/fm-69-1-93-100