Penzin Yurii Grigor'evich

Publications in Math-Net.Ru

1. Twins problem in formal arithmetic
   
   Mat. Zametki, 26:4 (1979),  505–511
2. Undecidability of fields of rational functions over fields of characteristic $2$
   
   Algebra Logika, 12:2 (1973),  205–210
3. Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number
   
   Mat. Zametki, 13:5 (1973),  667–675
4. The decidability of certain theories of integers
   
   Sibirsk. Mat. Zh., 14:5 (1973),  1139–1143