1. J. W. Addison, On some points of the theory of recursive functions, Doctoral Dissertation, University of Wisconsin, 1954.
2. \bysame, Analogies in the Borel, Lusin, and Kleene hierarchies I, Bull. Amer. Math. Soc. Abstract 61-1-139.
3. \bysame, Analogies in the Borel, Lusin, and Kleene hierarchies II, Bull. Amer. Math. Soc. Abstract 61-2-341.
4. L. Kantorovitch and E. Livenson, Sur quelques théorèmes concernant la théorie des ensembles projectifs, C. R. Acad. Sci. Paris vol. 204 (1937) pp. 466-467.
5. Arithmetical predicates and function quantifiers;Kleene, S. C.;Trans. Amer. Math. Soc.,1955