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