Вычислимые функционалы и арифметика ординальных типов
Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением
Замечания к работе Р. Бергера о проблеме домино
Мутационные исчисления
Некоторые свойства решений уравнений в свободной полугруппе
Неразрешимость некоторых алгоритмических проблем для алгебр Ли.
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
О диофантовых представлениях последовательности решений уравнения Пелля
О некоторых алгоритмических проблемах для разрешимых групп.
О рекурсивно-нумерованных классах конструктивных расширений и автоустойчивости алгебр
О ступенях разрешимости структур и степенях идемпотентности предмногообразий структур
Об алгебрах с финитно-аппроксимируемыми позитивно представимыми обогащениями
Об оценке сложности некоторых массовых проблем анализа
Одно свойство перечислимых множеств, содержащих "сложно выводимые" формулы
Письмо в редакцию
Пресбургеровость предикатов, регулярных в двух системах счисления
Простые числа перечисляются полиномом от 10 переменных
Регулярные аппроксимации рекурсивных предикатов
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений
Теория A-пространств.