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