Internally standard set theories
Volume 71 / 1971
Fundamenta Mathematicae 71 (1971), 93-102
DOI: 10.4064/fm-71-1-93-102