Limiting recursion and the arithmetic hierarchy G. Criscuolo, E. Minicozzi and G. Trautteur R.A.I.R.O. Informatique théorique, 9 R3 (1975) 5-12 Published online: 03 February 2017 DOI: 10.1051/ita/197509R300051