Публикации в базе данных Math-Net.Ru
-
Спектры степеней структур относительно эквивалентностей
Алгебра и логика, 58:2 (2019), 229–251
-
О вычислимой бивложимой категоричности
Алгебра и логика, 57:5 (2018), 601–608
-
Индексные множества $n$-разрешимых структур, категоричных относительно $m$-разрешимых представлений
Алгебра и логика, 54:4 (2015), 520–528
-
Вычислимая проблема вложимости
Алгебра и логика, 50:6 (2011), 707–732
-
Алгоритмические свойства моделей сигнатуры с двумя одноместными функциональными символами
Вестн. НГУ. Сер. матем., мех., информ., 8:1 (2008), 90–101
-
Индексные множества разрешимых моделей
Сиб. матем. журн., 48:5 (2007), 1167–1179
-
О спектрах вычислимых моделей
Вестн. НГУ. Сер. матем., мех., информ., 6:4 (2006), 93–97
-
О сложности категоричных теорий с вычислимыми моделями
Вестн. НГУ. Сер. матем., мех., информ., 5:2 (2005), 77–85
© , 2024