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