Set existence principles of Shoenfield, Ackermann, and Powell
Tom 84 / 1974
Fundamenta Mathematicae 84 (1974), 5-34
DOI: 10.4064/fm-84-1-5-34