Ekaterina B. Fokina, Valentina Harizanov, Alexander Melnikov, Turing's Legacy, 2014, 124
Michael Rathjen, “2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10”, Bull. symb. log, 17:2 (2011), 272
С. С. Гончаров, “Алгоритмическая сложность счетных моделей сильно минимальных теорий”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 38–53
Helmut Schwichtenberg, “2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06”, Bull. symb. log., 13:2 (2007), 251
Sergei S. Goncharov, International Mathematical Series, 5, Mathematical Problems from Applied Logic II, 2007, 99
Е. Б. Фокина, “О спектрах вычислимых моделей”, Вестн. НГУ. Сер. матем., мех., информ., 6:4 (2006), 93–97
Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin, “An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated”, Notre Dame J. Formal Logic, 47:1 (2006)
Е. Б. Фокина, “О сложности категоричных теорий с вычислимыми моделями”, Вестн. НГУ. Сер. матем., мех., информ., 5:2 (2005), 77–85
С. С. Гончаров, Б. Хусаинов, “Сложность теорий вычислимых категоричных моделей”, Алгебра и логика, 43:6 (2004), 650–665 ; S. S. Goncharov, B. Khoussainov, “Complexity of Categorical Theories with Computable Models”, Algebra and Logic, 43:6 (2004), 365–373
Valentina S. Harizanov, “Computability-Theoretic Complexity of Countable Structures”, Bull. symb. log., 8:4 (2002), 457