A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$
Volume 129 / 1988
Fundamenta Mathematicae 129 (1988), 231-236
DOI: 10.4064/fm-129-3-231-236
