Н. А. Баженов, М. И. Марчук, “О спектрах разрешимой категоричности для почти простых моделей”, Алгебра и логика, 62:4 (2023), 441–457
И. Ш. Калимуллин, “О степенях относительной вычислимой категоричности”, Алгебра и логика, 61:3 (2022), 353–358
М. И. Марчук, “Разрешимая категоричность почти простых моделей сигнатуры графов”, Матем. тр., 24:1 (2021), 117–141
Н. Т. Когабаев, “О сложности проблемы эквивалентности хорновским формулам”, Алгебра и логика, 60:6 (2021), 575–586
Greenberg N., Harrison-Trainor M., Melnikov A., Turetsky D., “Non-Density in Punctual Computability”, Ann. Pure Appl. Log., 172:9 (2021), 102985
М. И. Марчук, “Индексное множество автоустойчивых упорядоченных абелевых групп”, Матем. тр., 23:1 (2020), 169–176
Downey R. Greenberg N. Melnikov A. Ng K.M. Turetsky D., “Punctual Categoricity and Universality”, J. Symb. Log., 85:4 (2020), 1427–1466
Melnikov A. Ng K.M., “a Structure of Punctual Dimension Two”, Proc. Amer. Math. Soc., 148:7 (2020), 3113–3128
С. С. Гончаров, Р. Миллер, В. С. Харизанова, “Тьюринговы степени полных формул почти простых моделей”, Алгебра и логика, 58:3 (2019), 417–425 ; S. S. Goncharov, R. Miller, V. Harizanov, “Turing degrees of complete formulas of almost prime models”, Algebra and Logic, 58:3 (2019), 282–287
Н. А. Баженов, М. Харрисон-Трейнор, “Построение разрешимых графов по разрешимым структурам”, Алгебра и логика, 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