B. S. Baizhanov, B. Sh. Kulpeshov, T. S. Zambarnaya, “A.D. Taimanov and model theory in Kazakhstan”, Сиб. электрон. матем. изв., 17 (2020), 1–58
Н. А. Баженов, М. Харрисон-Трейнор, “Построение разрешимых графов по разрешимым структурам”, Алгебра и логика, 58:5 (2019), 553–573 ; N. A. Bazhenov, M. Harrison-Trainor, “Constructing decidable graphs from decidable structures”, Algebra and Logic, 58:5 (2019), 369–382
Н. А. Баженов, “Спектры категоричности вычислимых структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 42–58 ; N. A. Bazhenov, “Categoricity spectra of computable structures”, J. Math. Sci. (N. Y.), 256:1 (2021), 34–50
П. Е. Алаев, “Категоричность для примитивно рекурсивных и полиномиальных булевых алгебр”, Алгебра и логика, 57:4 (2018), 389–425 ; P. E. Alaev, “Categoricity for primitive recursive and polynomial Boolean algebras”, Algebra and Logic, 57:4 (2018), 251–274
Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества $n$-разрешимых структур, категоричных относительно $m$-разрешимых представлений”, Алгебра и логика, 54:4 (2015), 520–528 ; E. B. Fokina, S. S. Goncharov, V. Harizanov, O. V. Kudinov, D. Turetsky, “Index sets for $n$-decidable structures categorical relative to $m$-decidable presentations”, Algebra and Logic, 54:4 (2015), 336–341
П. Е. Алаев, “Теорема Эша о $\Delta^0_\alpha$-категоричных структурах и признак бесконечной $\Delta^0_\alpha$-размерности”, Алгебра и логика, 54:5 (2015), 551–574 ; P. E. Alaev, “Ash’s theorem on $\Delta^0_\alpha$-categorical structures and a condition for infinite $\Delta^0_\alpha$-dimension”, Algebra and Logic, 54:5 (2015), 353–369
Д. А. Тусупов, “Категоричность и сложность отношений над алгебраическими структурами”, Алгебра и логика, 54:5 (2015), 628–637 ; J. A. Tussupov, “Categoricity and complexity of relations over algebraic structures”, Algebra and Logic, 54:5 (2015), 408–414
А. Н. Фролов, “Эффективная категоричность вычислимых линейных порядков”, Алгебра и логика, 54:5 (2015), 638–642 ; A. N. Frolov, “Effective categoricity of computable linear orderings”, Algebra and Logic, 54:5 (2015), 415–417
Н. А. Баженов, “О $\Delta^0_2$-категоричности булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 13:2 (2013), 3–14
Н. А. Баженов, “О категоричности булевых алгебр типа $\mathfrak{B}(\omega^{\alpha}\times\eta)$ в гиперарифметической иерархии”, Вестн. НГУ. Сер. матем., мех., информ., 12:3 (2012), 35–45 ; N. A. Bazhenov, “Hyperarithmetical Categoricity of the Boolean Algebra $\mathfrak{B}(\omega^{\alpha}\times\eta)$”, J. Math. Sci., 202:1 (2014), 40–49