Об определимости в алгебраически замкнутых системах.
Описание категоричных квазимногообразий.
Описание категоричных позитивных хорновых классов
Пример -категоричной полной конечно-аксиоматизируемой теории
Пример теории, отвечающий на вопрос Б.С.Байжанова
Принципы нормализации формул
Проблема конечной аксиоматизируемости для сильно минимальных теорий графов и группы с неединичным числом концов
Прямые слагаемые булевых алгебр с выделенными идеалами
Разрешимость элементарной теории универсальных полуполей второго рода
Ранг Ласкара и свойство конечного покрытия для полных теорий унаров
Сильно конструктивная модель без элементарных подмоделей и расширений.
Сильно минимальные счетно категоричные теории
Сильно минимальные счетно категоричные теории. II.
Сильно минимальные счетно-категоричные теории. III.
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
Универсальные теории уноидов, уникальные в мощности
Число моделей полных хорновых теорий конечной глубины.