Об эффективных линейных порядках
Обобщение двух теорем Белоусова для сильно зависимых функций k-значной логики
Обобщение теоремы Селиванова
Обобщенная вычислимость и дескриптивная теория множеств
Обобщенно аналитические множества.
Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.
Обобщенно-конструктивный континуум.
Обобщенные вычисления и арифметика третьей ступени.
Обобщенные вычисления над регулярными нумерациями.
Обобщенные вычисления с двухместными оракулами
Обобщенные вычисления с оракулами
Ободной иерархии множеств. I
Общая теория бесконечно малых.
Общие неподвижные точки
Объединение логик, моделируемых конечными деревьями.
Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
Ограниченные m-сводомости
Ограниченные теории конструктивных булевых алгебр.
Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений
Один подход к построению конструктивных аналогов теории множеств