Axiomatizability of second order arithmetic with ω-rule
Tom 100 / 1978
Fundamenta Mathematicae 100 (1978), 51-57
DOI: 10.4064/fm-100-1-51-57
