Н. А. Баженов, М. И. Марчук, “О спектрах разрешимой категоричности для почти простых моделей”, Алгебра и логика, 62:4 (2023), 441–457 ; N. A. Bazhenov, M. I. Marchuk, “Decidable categoricity spectra for almost prime models”, Algebra and Logic, 62:4 (2023), 291–302
М. И. Марчук, “Разрешимая категоричность почти простых моделей сигнатуры графов”, Матем. тр., 24:1 (2021), 117–141
С. С. Гончаров, М. И. Марчук, “О степени разрешимой категоричности модели с бесконечными решениями для полных формул”, Алгебра и логика, 60:3 (2021), 303–312 ; S. S. Goncharov, M. I. Marchuk, “The degree of decidable categoricity of a model with infinite solutions for complete formulas”, Algebra and Logic, 60:3 (2021), 200–206
M. I. Marchuk, “The Index Set of the Class of Autostable Ordered Abelian Groups”, Sib. Adv. Math., 31:1 (2021), 40
M. I. Marchuk, “On Decidable Categoricity for Almost Prime Models of the Signature of Graphs”, Sib. Adv. Math., 31:4 (2021), 283
М. И. Марчук, “Индексное множество автоустойчивых упорядоченных абелевых групп”, Матем. тр., 23:1 (2020), 169–176
S. S. Goncharov, V. Harizanov, R. Miller, “On Decidable Categoricity and Almost Prime Models”, Sib. Adv. Math., 30:3 (2020), 200
Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества $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
Fokina E.B. Harizanov V. Melnikov A., “Computable Model Theory”, Turing'S Legacy: Developments From Turing'S Ideas in Logic, Lecture Notes in Logic, 42, ed. Downey R., Cambridge Univ Press, 2014, 124–194
Ekaterina B. Fokina, Valentina Harizanov, Alexander Melnikov, Turing's Legacy, 2014, 124