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