Ramified analysis and the minimal β-models of higher order arithmetics
Tom 121 / 1984
Fundamenta Mathematicae 121 (1984), 1-15
DOI: 10.4064/fm-121-1-1-15
