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