Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров
Разрешимость элементарных теорий некоторых классов абелевых групп
Разрешимость элементарных теорий некоторых конечно-определенных алгебр.
Разрешимость элементарных теорий решеток подполугрупп.
Разрешимые классы псевдопредваренных формул
Разрешимые теории псевдо-p-адически замкнутых полей
Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
Распространение обратного метода на аксиоматические теории с равенством
Расширенные теории булевых алгебр.
Регулярно r-замкнутые поля
Регулярно r-замкнутые поля со слабоуниверсальными группами Галуа.
Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета
Роль детерминизма в языках запросов для баз данных.
Сверхнезависимые суперинтуиционистские логики
Семантика для первого квартета Т. Элиота.
Семантически универсальные классы моделей.
Сепарационное свойство для доказуемостно-интуиционистского исчисления
Сети меток и выводимость в интуиционистском исчислении высказываний
Сильная конструктивизируемость однородных моделей.