@article{10_4064_fm_121_1_1_15, author = {Zygmunt Vetulani}, title = {Ramified analysis and the minimal \ensuremath{\beta}-models of higher order arithmetics}, journal = {Fundamenta Mathematicae}, pages = {1--15}, publisher = {mathdoc}, volume = {121}, number = {1}, year = {1984}, doi = {10.4064/fm-121-1-1-15}, language = {en}, url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-121-1-1-15/} }