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