Арифметическая иерархия и идеалы нумерованных булевых алгебр.
Безатомные идеалы конструктивных булевых алгебр.
Верхние полурешетки нумераций
Вполне перечислимые множества.
Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.
Вычислимые классы конструктивизаций -конструктивизируемых моделей.
Вычислимые нумерации и отношения эквивалентности
Вычислимые однозначные нумерации
Вычислимые структурные и антиструктурные теоремы.
Группы автоморфизмов вычислимо перечислимых предикатов.
Группы рекурсивных автоморфизмов конструктвных булевых алгебр
Две теоремы о вычислимых нумерациях
Дискретные семейства рекурсивных функций и индексные множества
Еще раз о вопросе Хигмана
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Иерархии абелевых групп без кручения.
Индексные множества фактор-объектов нумерации Поста
Конструктивизируемость булевых алгебр элементарной характеристики .
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
Конструктивные однородные расширения.