О существовании предельных моделей над последовательностью типов

Полурешетки Роджерса классов бесконечных вычислимых множеств

Об одном вычислимом представлении низких линейных порядков

Несущественные совмещения малых теорий

О простых над конечными множествами и предельных моделях теории аддитивной группы целых чисел

Линейные порядки. Теоремы кодирования

О предельных моделях над типом в классе ω-стабильных теорий

Вычислимая вложимость классов алгебраических структур с отношением конгруэнтности

Спектр отношения блока 1-вычислимых линейных порядков

Предельные модели теорий унаров