B. Sh. Kulpeshov, S. V. Sudoplatov, “Spherical orders, properties and countable spectra of their theories”, Сиб. электрон. матем. изв., 20:2 (2023), 588–599
S. V. Sudoplatov, “Arities and aritizabilities of first-order theories”, Сиб. электрон. матем. изв., 19:2 (2022), 889–901
А. Л. Семёнов, С. Ф. Сопрунов, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Изв. РАН. Сер. матем., 85:6 (2021), 245–258 ; A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. Math., 85:6 (2021), 1257–1269
А. Л. Семенов, С. Ф. Сопрунов, “Решетка определимости. Источники и направления исследований”, Чебышевский сб., 22:1 (2021), 304–327 ; A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298
Ан. А. Мучник, А. Л. Семёнов, “Решетка определимости в порядке рациональных чисел”, Матем. заметки, 108:1 (2020), 102–118 ; An. A. Muchnik, A. L. Semenov, “Lattice of Definability in the Order of Rational Numbers”, Math. Notes, 108:1 (2020), 94–107
А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 291–296 ; A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272