Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Равномерность в теории вычислимых структур
Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
Рекурсивные однородные булевы алгебры
Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры.
Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий
Сильная -определимость модели в допустимом множестве
Сильная конструктивизируемость однородных моделей.
Сильно конструктивные абелевы p-группы
Сложность индексных множеств вычислимых классов с конечным числом конструктивных систем
Спектры степеней для отношений на булевых алгебрах
Строение полурешетки tt1-степеней.
Структурные свойства вычислимых классов конструктивных моделей
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
Счетные однородные булевы алгебры.
Теория с двумя сильно конструктивизируемыми моделями.
Тонкая иерархия и определимые индексные множества.
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
Тотально трансцендентная теория с неконструктивизируемой простой моделью
Универсальная нумерация конструктивных -алгебр