Итерированная клиниевская вычислимость и суперджамп
К вопросу об автоматной сложности языков и сложности распознавания по Лавленду
К магнусовой обобщенной проблеме тождества слов
К проблеме тождества слов для конечно-определенных полугрупп
К строению семейств иммунных, гипериммунных и гипергипериммунных можеств
К теореме Рабина о сложности вычислимых функций
К теории вычислимых семейств объектов
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
Квазисоотношения в свободной группе и проблемы эквивалентности преобразователей.
Класс сведения
Классификация пространств операторов конечных типов
Количество конечно аксиоматизируемых пополнений.
Конструктивизируемость булевых алгебр элементарной характеристики .
Конструктивизируемость суператомных булевых алгебр.
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
Конструктивные модели полных разрешимых теорий.
Конструктивные однородные расширения.
Критерий конструктивизируемости абелевой группы.
Критерий сильной конструктивизируемости однородной модели.