31 citations to https://www.mathnet.ru/rus/al177
  1. С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015), 54–62  mathnet; S. S. Ospichev, “Computable families of sets in Ershov hierarchy without principal numberings”, J. Math. Sci., 215:4 (2016), 529–536  crossref
  2. С. С. Оспичев, “Фридберговы нумерации в иерархии Ершова”, Алгебра и логика, 54:4 (2015), 444–462  mathnet  crossref  mathscinet; S. S. Ospichev, “Friedberg numberings in the Ershov hierarchy”, Algebra and Logic, 54:4 (2015), 283–295  crossref  isi
  3. Badaev S.A., Manat M., Sorbi A., “Friedberg Numberings in the Ershov Hierarchy”, Arch. Math. Log., 54:1-2 (2015), 59–73  crossref  mathscinet  zmath  isi  elib  scopus
  4. С. С. Оспичев, “Бесконечное семейство $\Sigma^{-1}_{a}$-множеств с единственной вычислимой нумерацией”, Вестн. НГУ. Сер. матем., мех., информ., 11:2 (2011), 89–92  mathnet; S. S. Ospichev, “Infinite family of $\Sigma_a^{-1}$-Sets with only One Computable Numbering”, J. Math. Sci., 188:4 (2013), 449–451  crossref
  5. С. С. Оспичев, “Некоторые свойства нумераций различных классов иерархии Ершова”, Вестн. НГУ. Сер. матем., мех., информ., 10:4 (2010), 125–132  mathnet; S. S. Ospichev, “Some Properties of Numberings in Various Levels in Ershov's Hierarchy”, J. Math. Sci., 188:4 (2013), 441–448  crossref
  6. “2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09”, Bull. symb. log, 16:1 (2010), 90  crossref
  7. Brodhead P., Cenzer D., “Effectively closed sets and enumerations”, Archive For Mathematical Logic, 46:7–8 (2008), 565–582  crossref  mathscinet  zmath  isi  scopus
  8. С. С. Гончаров, Н. Т. Когабаев, “О $\Sigma^0_1$-классификации отношений на вычислимых структурах”, Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32  mathnet
  9. Serikzhan Badaev, Sergey Goncharov, New Computational Paradigms, 2008, 19  crossref
  10. Paul Brodhead, “Enumerations of Π10 Classes: Acceptability and Decidable Classes”, Electronic Notes in Theoretical Computer Science, 167 (2007), 289  crossref
Предыдущая
1
2
3
4
Следующая