Ramified analysis and the minimal β-models of higher order arithmetics

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Zygmunt Vetulani Fundamenta Mathematicae 121 (1984), 1-15 DOI: 10.4064/fm-121-1-1-15