Об однородных абелевых группах.
Об элементарной теории абелевых групп
Об элементарной теории почти полициклической группы
Определимые инварианты билинейных отображений.
Проблема конечной аксиоматизируемости для сильно минимальных теорий графов и группы с неединичным числом концов
Разрешимость теорий конечно-определенных квазигрупп из -многообразий квазигрупп.
Разрешимость универсальной теории свободной полугруппы
Разрешимость элементарных теорий некоторых классов абелевых групп
Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели
Связь между конструктивизируемостью и сильной конструктивизируемостью для различных классов абелевых групп.
Сильно конструктивные абелевы p-группы
Теория абелевых групп с конструктивными моделями
Формульность множества мальцевских баз и элементарные теории конечных алгебр. I
Формульность множества мальцевских баз и элементарные теории конечномерных алгебр. II
Элементарная теория абелевых групп без кручения с предикатами, выделяющими подгруппу.