Rudnev V A

Publications in Math-Net.Ru

1. On the existence of an inseparable pair in the recursion theory of admissible sets
   
   Algebra Logika, 27:1 (1988),  48–56
2. A universal recursive function on admissible sets
   
   Algebra Logika, 25:4 (1986),  425–435