Публикации
Статьи
- О сложности проблемы ∀-представимости предложений, Алгебра и логика, 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.
Учебные пособия