Limiting recursion and the arithmetic hierarchy G. Criscuolo; E. Minicozzi; G. Trautteur — 1975 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications