Рафаэль М. Робинсон, “Арифметическое представление рекурсивно-перечислимых множеств”, Математика, 8:5 (1964), 23–48; Raphael M. Robinson, “Arithmetical representation of recursively enumerable sets”, J. Symb. Logic, 21 (1956), 162–186
1963
2.
Рафаэль М. Робинсон, “Неразрешимость элементарной теории рациональных функций от одного переменного с рациональными коэффициентами”, Алгебра и логика. Семинар, 2:4 (1963), 5–11