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