Robinson Raphael Mitchel

Publications in Math-Net.Ru

1. Arithmetical representation of recursively enumerable sets
   
   Matematika, 8:5 (1964),  23–48
2. 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