|
|
Публикации в базе данных Math-Net.Ru
-
О сложности проблемы $\forall$-представимости предложений
Алгебра и логика, 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
-
Об $\forall\exists$-теориях свободных проективных плоскостей
Сиб. матем. журн., 61:1 (2020), 120–136
-
Сложность проблемы изоморфизма вычислимых свободных проективных плоскостей конечного ранга
Сиб. матем. журн., 59:2 (2018), 378–395
-
О проблеме вложимости вычислимых проективных плоскостей
Алгебра и логика, 56:1 (2017), 110–117
-
Свободно порождённые проективные плоскости конечной вычислимой размерности
Алгебра и логика, 55:6 (2016), 704–737
-
$\Pi^1_1$-полнота проблемы вычислимой категоричности проективных плоскостей
Алгебра и логика, 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
-
О $\Sigma^0_1$-классификации отношений на вычислимых структурах
Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32
-
Сложность некоторых естественных проблем на классе вычислимых $I$-алгебр
Сиб. матем. журн., 47:2 (2006), 352–360
-
Вычислимая размерность $I$-деревьев бесконечной высоты
Алгебра и логика, 43:6 (2004), 702–729
-
Универсальная нумерация конструктивных $I$-алгебр
Алгебра и логика, 40:5 (2001), 561–579
-
Автоустойчивость булевых алгебр с выделенным идеалом
Сиб. матем. журн., 39:5 (1998), 1074–1084
© , 2025