Reducing hyperarithmetic sequences
Volume 89 / 1975
Fundamenta Mathematicae 89 (1975), 5-11
DOI: 10.4064/fm-89-1-5-11