Addison, J. W. Tarski’s theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. (English) Zbl 1056.03019 Ann. Pure Appl. Logic 126, No. 1-3, 77-92 (2004). MSC: 03C40 03-03 01A60 03B10 03C13 03D20 03E15 03B70 05C90 PDF BibTeX XML Cite \textit{J. W. Addison}, Ann. Pure Appl. Logic 126, No. 1--3, 77--92 (2004; Zbl 1056.03019) Full Text: DOI
Shoenfield, J. R. A hierarchy based on a type two object. (English) Zbl 0191.30502 Trans. Am. Math. Soc. 134, 103-108 (1968). PDF BibTeX XML Cite \textit{J. R. Shoenfield}, Trans. Am. Math. Soc. 134, 103--108 (1968; Zbl 0191.30502) Full Text: DOI
Richter, Wayne Constructive transfinite number classes. (English) Zbl 0155.34101 Bull. Am. Math. Soc. 73, 261-265 (1967). PDF BibTeX XML Cite \textit{W. Richter}, Bull. Am. Math. Soc. 73, 261--265 (1967; Zbl 0155.34101) Full Text: DOI
Suzuki, Yoshindo A complete classification of the \(\Delta_ 2^ 1\)-functions. (English) Zbl 0166.26302 Bull. Am. Math. Soc. 70, 246-253 (1964). PDF BibTeX XML Cite \textit{Y. Suzuki}, Bull. Am. Math. Soc. 70, 246--253 (1964; Zbl 0166.26302) Full Text: DOI