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