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