Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Ospichev, Sergey Sergeevich

Candidate of physico-mathematical sciences (2013)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Website: https://ospichev.github.io
Keywords: hierarchy, numberlings.

Subject:

Numberlings of difference hierarchy.


https://www.mathnet.ru/eng/person32324
List of publications on Google Scholar

Publications in Math-Net.Ru Citations
2021
1. N. A. Bazhenov, M. Mustafa, S. S. Ospichev, “On universal pairs in the Ershov hierarchy”, Sibirsk. Mat. Zh., 62:1 (2021),  31–41  mathnet  elib; Siberian Math. J., 62:1 (2021), 23–31  isi  scopus
2020
2. N. A. Bazhenov, M. Mustafa, S. S. Ospichev, M. M. Yamaleev, “Numberings in the analytical hierarchy”, Algebra Logika, 59:5 (2020),  594–599  mathnet; Algebra and Logic, 59:5 (2020), 404–407  isi  scopus 7
3. S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Sib. Èlektron. Mat. Izv., 17 (2020),  380–394  mathnet  isi 4
2019
4. S. S. Ospichev, “Friedberg numberings of families of partial computable functionals”, Sib. Èlektron. Mat. Izv., 16 (2019),  331–339  mathnet
2018
5. S. Ospichev, D. Ponomarev, “On the complexity of formulas in semantic programming”, Sib. Èlektron. Mat. Izv., 15 (2018),  987–995  mathnet  isi 8
2015
6. S. S. Ospichev, “Friedberg numberings in the Ershov hierarchy”, Algebra Logika, 54:4 (2015),  444–462  mathnet  mathscinet; Algebra and Logic, 54:4 (2015), 283–295  isi  scopus 11
7. S. S. Ospichev, “Computable families of sets in Ershov hierarchy without principal numberings”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 15:1 (2015),  54–62  mathnet; J. Math. Sci., 215:4 (2016), 529–536 2
2011
8. S. S. Ospichev, “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  mathnet; J. Math. Sci., 188:4 (2013), 449–451 6
2010
9. S. S. Ospichev, “Some Properties of Numberings in Various Levels in Ershov's Hierarchy”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 10:4 (2010),  125–132  mathnet; J. Math. Sci., 188:4 (2013), 441–448 5

Presentations in Math-Net.Ru
1. Rogers semilattices
S. S. Ospichev

August 12, 2021 16:40

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024