On an extremely restricted ω-rule
Volume 90 / 1976
Fundamenta Mathematicae 90 (1976), 159-172
DOI: 10.4064/fm-90-2-159-172