Cholak, Peter A.; Harrington, Leo A. Definable encodings in the computably enumerable sets. (English) Zbl 0977.03022 Bull. Symb. Log. 6, No. 2, 185-196 (2000). Reviewer: Qian Lei (Bloomington) MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI Link Link
Polyakov, E. On partial recursive functions with recursive graph. (Russian) Zbl 0541.03020 Algebraic systems, Interuniv. Collect. Sci. Works, Ivanovo 1981, 174-175 (1981). Reviewer: A.Mal’tsev MSC: 03D20 × Cite Format Result Cite Review PDF