Р. Р. Тухбатуллина, “Автоустойчивость булевой алгебры $B_{\omega}$, обогащенной автоморфизмом”, Вестн. НГУ. Сер. матем., мех., информ., 10:3 (2010), 110–118
Е. Б. Фокина, “Алгоритмические свойства моделей сигнатуры с двумя одноместными функциональными символами”, Вестн. НГУ. Сер. матем., мех., информ., 8:1 (2008), 90–101
П. Е. Алаев, “Автоустойчивые I-алгебры”, Алгебра и логика, 43:5 (2004), 511–550 ; P. E. Alaev, “Autostable $\rm I$-Algebras”, Algebra and Logic, 43:5 (2004), 285–306
Н. Т. Когабаев, О. В. Кудинов, Р. Миллер, “Вычислимая размерность $I$-деревьев бесконечной высоты”, Алгебра и логика, 43:6 (2004), 702–729 ; N. T. Kogabaev, O. V. Kudinov, R. Miller, “The Computable Dimension of $I$-Trees of Infinite Height”, Algebra and Logic, 43:6 (2004), 393–407
Ч. Ф. Мак-Кой, “О $\Delta_3^0$-категоричности для линейных порядков и булевых алгебр”, Алгебра и логика, 41:5 (2002), 531–552 ; Ch. F. McCoy, “Partial Results in $\Delta_3^0$-Categoricity in Linear Orderings and Boolean Algebras”, Algebra and Logic, 41:5 (2002), 295–305
С. Ю. Подзоров, “Относительная сложность вычислимых представлений естественного линейного порядка на натуральных числах”, Матем. тр., 5:1 (2002), 114–128 ; S. Yu. Podzorov, “Relative Complexity for Computable Representations of the Conventional Linear Order on the Set of Naturals”, Siberian Adv. Math., 12:4 (2002), 44–56