15 citations to https://www.mathnet.ru/rus/al110
-
С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 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
-
С. А. Бадаев, С. С. Гончаров, “Обобщённо вычислимые универсальные нумерации”, Алгебра и логика, 53:5 (2014), 555–569 ; S. A. Badaev, S. S. Goncharov, “Generalized computable universal numberings”, Algebra and Logic, 53:5 (2014), 355–364
-
Serikzhan Badaev, Sergey Goncharov, New Computational Paradigms, 2008, 19
-
С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешёток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 45:6 (2006), 637–654 ; S. A. Badaev, S. S. Goncharov, A. Sorbi, “Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy”, Algebra and Logic, 45:6 (2006), 361–370
-
Badaev S.A., Talasbaeva Zh.T., “Computable numberings in the hierarchy of Ershov”, Mathematical Logic in Asia, 2006, 17–30