С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:3 (2013), 38–52 ; S. S. Goncharov, “Index Sets of Almost Prime Constructive Models”, J. Math. Sci., 205:3 (2015), 355–367
Н. А. Баженов, “О вычислимых нумерациях класса булевых алгебр с выделенными эндоморфизмами”, Алгебра и логика, 52:5 (2013), 535–552 ; N. A. Bazhenov, “Computable numberings of the class of Boolean algebras with distinguished endomorphisms”, Algebra and Logic, 52:5 (2013), 355–366
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 43–67 ; S. S. Goncharov, M. I. Marchuk, “Index Sets of Autostable Relative to Strong Constructivizations Constructive Models”, J. Math. Sci., 205:3 (2015), 368–388
Montalban A., “Copyable Structures”, J. Symb. Log., 78:4 (2013), 1199–1217
Becker H., “Isomorphism of Computable Structures and Vaught's Conjecture”, J. Symb. Log., 78:4 (2013), 1328–1344
Alexander G. Melnikov, André Nies, Lecture Notes in Computer Science, 7921, The Nature of Computation. Logic, Algorithms, Applications, 2013, 320
Fokina E.B., Friedman S.-D., “On S11 equivalence relations over the natural numbers”, MLQ Math Log Q, 58:1–2 (2012), 113–124
Fokina E.B. Friedman S.-D. Harizanov V. Knight J.F. McCoy Ch. Montalban A., “Isomorphism Relations on Computable Structures”, J. Symb. Log., 77:1 (2012), 122–132
Alexander Kartzow, Jiamou Liu, Markus Lohrey, Lecture Notes in Computer Science, 7318, How the World Computes, 2012, 363
С. С. Гончаров, “Степени автоустойчивости относительно сильных конструктивизаций”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 119–129 ; S. S. Goncharov, “Degrees of autostability relative to strong constructivizations”, Proc. Steklov Inst. Math., 274 (2011), 105–115