Ospichev Sergey Sergeevich

Publications in Math-Net.Ru

1. On universal pairs in the Ershov hierarchy
   
   Sibirsk. Mat. Zh., 62:1 (2021),  31–41
2. Numberings in the analytical hierarchy
   
   Algebra Logika, 59:5 (2020),  594–599
3. The expressiveness of looping terms in the semantic programming
   
   Sib. Èlektron. Mat. Izv., 17 (2020),  380–394
4. Friedberg numberings of families of partial computable functionals
   
   Sib. Èlektron. Mat. Izv., 16 (2019),  331–339
5. On the complexity of formulas in semantic programming
   
   Sib. Èlektron. Mat. Izv., 15 (2018),  987–995
6. Friedberg numberings in the Ershov hierarchy
   
   Algebra Logika, 54:4 (2015),  444–462
7. Computable families of sets in Ershov hierarchy without principal numberings
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 15:1 (2015),  54–62
8. Infinite family of $\Sigma_a^{-1}$-Sets with only One Computable Numbering
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:2 (2011),  89–92
9. Some Properties of Numberings in Various Levels in Ershov's Hierarchy
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 10:4 (2010),  125–132