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