Об ортогонально полной алгебраической системе.
Об универсально эквивалентных разрешимых группах
Об универсальной определимости классов Мальцева.
Об элементарной эквивалентности свободных алгебр многообразий Кантора.
Описание категоричных квазимногообразий.
Описание категоричных позитивных хорновых классов
Определимые инварианты билинейных отображений.
Покрытия в решетках квазимногообразий и независимая аксиоматизируемость
Проблема конечной аксиоматизируемости для сильно минимальных теорий графов и группы с неединичным числом концов
Проблема конечной аксиоматизируемости для сильно минимальных теорий графов
Теория моделей билинейных отображений.
Число моделей теорий всюду конечно определенных полигонометрий.