Публикации
Статьи
- О сложности проблемы ∀-представимости предложений, Алгебра и логика, 62, №4 (2023), 552–557.

- О системах диофантовых уравнений над конечными конфигурациями, Сиб. матем. ж., 64, №2 (2023), 321–338.

- О сложности проблемы эквивалентности хорновским формулам. II, Алгебра и логика, 61, №4 (2022), 469–482.

- О сложности проблемы эквивалентности хорновским формулам, Алгебра и логика, 60, №6 (2021), 575–586.

- On closure of configurations in freely generated projective planes, Сиб. электрон. матем. изв., 18, №1 (2021), 358–368.

- Об ∀∃-теориях свободных проективных плоскостей, Сиб. матем. ж., 61, №1 (2020), 120–136.

- Сложность проблемы изоморфизма вычислимых свободных проективных плоскостей конечного ранга, Сиб. матем. ж., 59, №2 (2018), 378–395.

- О проблеме вложимости вычислимых проективных плоскостей, Алгебра и логика, 56, №1 (2017), 110–117.

- Свободно порождёные проективные плоскости конечной вычислимой размерности, Алгебра и логика, 55, №6 (2016), 704–737.

- ∏11-полнота проблемы вычислимой категоричности проективных плоскостей, Алгебра и логика, 55, №4 (2016), 432–440.

- Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей, Алгебра и логика, 54, №5 (2015), 599–627.

- Об автоматных представлениях проективных плоскостей (совместно с А.С. Денисенко), Сиб. матем. ж., 55, №1 (2014), 66–78.

- Невычислимость классов папповых и дезарговых проективных плоскостей, Сиб. матем. ж., 54, №2 (2013), 325–335.

- Сложность проблемы изоморфизма вычислимых проективных плоскостей, Вестник НГУ, Серия: матем., мех., информ., 13, №1 (2013), 68–75.

- О вычислимой размерности папповых и дезарговых проективных плоскостей, Алгебра и логика, 51, №1 (2012), 61–81.

- Неразрешимость теории проективных плоскостей, Алгебра и логика, 49, №1 (2010), 3–17.

- Класс проективных плоскостей невычислим, Алгебра и логика, 47, №4 (2008), 428–455.

- О Σ01-классификации отношений на вычислимых структурах (совместно с С.С. Гончаровым), Вестник НГУ, Серия: матем., мех., информ., 8, №4 (2008), 23–32.

- Сложность некоторых естественных проблем на классе вычислимых I-алгебр, Сиб. матем. ж., 47, №2 (2006), 352–360.

- Вычислимая размерность I-деревьев бесконечной высоты (совместно с О.В. Кудиновым и Р. Миллером), Алгебра и логика, 43, №6 (2004), 702–729.

- Универсальная нумерация конструктивных I-алгебр, Алгебра и логика, 40, №5 (2001), 561–579.

- О вычислимых нумерациях конструктивных I-алгебр, Вестник НГУ, Серия: матем., мех., информ., 1, №1 (2001), 54–66.

- Универсальная нумерация вычислимых булевых алгебр с выделенным идеалом, Вычисл. системы, Вып. 165, Структ. и сложностные пробл. вычислимости (1999), 139–152.

- Автоустойчивость булевых алгебр с выделенным идеалом, Сиб. матем. ж., 39, №5 (1998), 1074–1084.

Учебные пособия