Raphael M. Robinson, “Arithmetical representation of recursively enumerable sets”, Matematika, 8:5 (1964), 23–48; J. Symb. Logic, 21 (1956), 162–186
1963
2.
R. M. Robinson, “Undecidability of the elementary theory of the field of rational
functions of one variable with rational coefficients”, Algebra i Logika. Sem., 2:4 (1963), 5–11
