Публикации в базе данных Math-Net.Ru
-
Новый спектр вычислимых моделей
Известия Иркутского государственного университета. Серия Математика, 3:4 (2010), 7–20
-
О конструктивных моделях теорий с линейным порядком Рудина–Кейслера
Вестн. НГУ. Сер. матем., мех., информ., 9:2 (2009), 30–37
-
Спектры вычислимых моделей эренфойхтовых теорий
Алгебра и логика, 46:3 (2007), 275–289
-
Сложность эренфойхтовых моделей
Алгебра и логика, 45:5 (2006), 507–519
© , 2024