Н. Т. Когабаев, “Сложность проблемы изоморфизма вычислимых проективных плоскостей”, Вестн. НГУ. Сер. матем., мех., информ., 13:1 (2013), 68–75 ; N. T. Kogabaev, “The complexity of isomorphism problem for computable projective planes”, J. Math. Sci., 203:4 (2014), 509–515
Kuske D., Liu J., Lohrey M., “The Isomorphism Problem for Omega-Automatic Trees”, Ann. Pure Appl. Log., 164:1 (2013), 30–48
С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 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