М. Манат, А. Сорби, “Позитивные неразрешимые нумерации в иерархии Ершова”, Алгебра и логика, 50:6 (2011), 759–780 ; M. Manat, A. Sorbi, “Positive undecidable numberings in the Ershov hierarchy”, Algebra and Logic, 50:6 (2012), 512–525
С. С. Оспичев, “Бесконечное семейство $\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
Н. А. Бакланова, “Минимальные элементы и минимальные накрытия в полурешетке Роджерса вычислимых нумераций в гиперарифметической иерархии”, Вестн. НГУ. Сер. матем., мех., информ., 11:3 (2011), 77–84
Н. А. Бакланова, “Неразрешимость элементарных теорий полурешеток Роджерса на предельных уровнях арифметической иерархии”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 3–7
С. С. Оспичев, “Некоторые свойства нумераций различных классов иерархии Ершова”, Вестн. НГУ. Сер. матем., мех., информ., 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
John Case, Samuel E. Moelius, “Characterizing Programming Systems Allowing Program Self-Reference”, Theory Comput Syst, 45:4 (2009), 756
С. С. Гончаров, Н. Т. Когабаев, “О $\Sigma^0_1$-классификации отношений на вычислимых структурах”, Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32
Serikzhan Badaev, Sergey Goncharov, New Computational Paradigms, 2008, 19
John Case, Samuel E. MoeliusIII, Lecture Notes in Computer Science, 4497, Computation and Logic in the Real World, 2007, 125