Limiting recursion and the arithmetic hierarchy G. Criscuolo, E. Minicozzi, G. Trautteur (1975) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Localization o a theorem of Ambos-Spies and the strong anti-splitting property. R.G. Downey (1987) Archiv für mathematische Logik und Grundlagenforschung