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