Ramified analysis and the minimal β-models of higher order arithmetics Zygmunt Vetulani (1984) Fundamenta Mathematicae