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