Теории с тремя счетными моделями
Теория A-пространств.
Теория абелевых групп с конструктивными моделями
Теория моделей билинейных отображений.
Теория с двумя сильно конструктивизируемыми моделями.
Типы представимости многообразий и строгие условия Мальцева.
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
Тотально трансцендентная теория с неконструктивизируемой простой моделью
Транзитивные размещения алгебраических систем
Три теоремы об элементарных теориях tt-сводимости.
Универсальная нумерация конструктивных -алгебр
Универсальная эквивалентность абелевых групп
Универсальные расширенные теории целых чисел
Универсальные теории уноидов, уникальные в мощности
Универсальные хорновы классы и антимногообразия алгебраических систем
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
Фильтрующие формулы
Формульность множества мальцевских баз и элементарные теории конечных алгебр. I
Формульность множества мальцевских баз и элементарные теории конечномерных алгебр. II
Форсинг в допустимых множествах