Об ошибке в статье И.И. Жегалкина "Проблема разрешимости на конечных классах"
Об Эквациональных теориях классов конечных колец.
Об эквациональных теориях классов конечных полугрупп
Об эквациональных теориях многообразий метабелевых и коммутативных колец
Об элементарной теории максимальных нормированных полей. III
Об элементарной эквивалентности свободных алгебр многообразий Кантора.
Об элементарных теориях решеток идеалов в кольцах многочленов.
Относительно элементарные подпространства в компактных алгебрах Ли
Позитивные теории свободных моноидов
Полные теории унаров.
Полугруппы с одним определяющим соотношением, элементарные теории которых разрешимы
Предмногообразия ассоциативных колец, элементарная теория которых разрешима.
Предмногообразия полугрупп, элементарная теория которых разрешима.
Пресбургеровость предикатов, регулярных в двух системах счисления
Проблема разрешения для логики предикатов и операций.
Проблема разрешимости уравнений в свободной полугруппе
Разрешимое некомпактное расширение логики S4.
Разрешимость некоторых неэлементарных теорий
Разрешимость некоторых элементарных теорий
Разрешимость позитивной теории свободной счетнопорожденной полугруппы