О проблеме тождества слов для дискриминаторных многообразий.
О разрешимых алгебрах Ли с одним определяющим соотношением.
О распознавании замещаемости в рекурсивных языках
О рациональном замыкании групповой алгебры линейно упорядоченной группы в теле рядов Мальцева.
О сложности алгоритмов сведения в конструкциях Новикова-Буна.
Об m-степенях проблемы тождествa слов.
Об алгоритмической проблеме распознавания автоморфизмов среди эндоморфизмов свободных ассоциативных алгебр конечного ранга
Об аппроксимируемости конечноопределенных алгебр
Об одном вопросе Хигмана
Об одном свойстве групп Буна. II
Об определимости в алгебраически замкнутых системах.
Подкольца конечно-определенных ассоциативных колец.
Пример группы, конечно-определенной в многообразии , с неразрешимой проблемой равенства.
Проблема вхождения в третий коммутант для разрешимых групп
Проблема относительной линейной зависимости для многообразия алгебр Ли.
Проблема равенства в неассоциативных кольцах.
Проблема равенства для центрально-метабелевых алгебр Ли.
Рекурсивно-комбинаторные свойства подмножеств натуральных чисел
Связь систем уравнений в словах и длинах с 10-й проблемой Гильберта
Слабые комбинаторно-селекторные свойства подмножеств натуральных чисел