Публикации в базе данных Math-Net.Ru
-
Вынуждение формул в структурах и классах Фрессе
Алгебра и логика, 57:5 (2018), 567–586
-
Свойства экзистенциально замкнутых компаньонов
Алгебра и логика, 57:3 (2018), 321–337
-
Счетные экзистенциально замкнутые модели универсально аксиоматизируемых теорий
Матем. тр., 18:1 (2015), 48–97
-
Графы и модели с конечными цепями
Сиб. электрон. матем. изв., 4 (2007), 238–248
-
О конструктивных периодических абелевых группах
Сиб. матем. журн., 19:6 (1978), 1260–1265
-
Сильные и слабые конструктивизации и вычислимые семейства
Алгебра и логика, 13:3 (1974), 311–323
-
Конструктивные модели полных разрешимых теорий
Алгебра и логика, 12:2 (1973), 125–142
© , 2024