Разрешимость проблемы допустимости в конечнослойных модальных логиках.
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр
Разрешимость универсальной теории натуральных чисел со сложением и делимостью
Разрешимость эквациональной теории положительных чисел с возведением в степень.
Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров
Разрешимость элементарных теорий некоторых классов абелевых групп
Разрешимость элементарных теорий некоторых конечно-определенных алгебр.
Разрешимость элементарных теорий решеток подполугрупп.
Разрешимые классы псевдопредваренных формул
Разрешимые теории псевдо-p-адически замкнутых полей
Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
Расширенные теории булевых алгебр.
Регулярно r-замкнутые поля
Регулярно r-замкнутые поля со слабоуниверсальными группами Галуа.
Сильная конструктивизируемость однородных моделей.
Сильно конструктивная модель без элементарных подмоделей и расширений.
Сложность разрешения теории первого порядка вещественно замкнутых полей
Схемы доказательств в аксиоматических теориях гильбертовского типа