Hyperarithmetical quantifiers
Volume 48 / 1960
Fundamenta Mathematicae 48 (1960), 313-320
DOI: 10.4064/fm-48-3-313-320