Булевы -алгебры и квазиоткрытые отображения.
Булевы модели и некоторые их применения
Вариант конструктивных ординалов Рихтера.
Вариант нестандартного выпуклого программирования
Верхние оценки удлинения выводов при устранении сечений
Верхние полурешетки нумераций
Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения
Верхняя полурешётка .
Верхняя полурешетка нумераций конечного множества.
Вложения импликатных решеток и суперинтуиционистские логики
Возможности операций одноместного суммирования и одноместного ограниченного умножения
Вполне замкнутые отображения и совместимость некоторых теорем общей топологии с аксиомами теории множеств
Вполне перечислимые множества.
Временная сложность многомерных машин Тьюринга
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Вычисление булевых функций на машинах Тьюринга
Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием
Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.
Вычисления с оракулами: обобщённая селекция.
Вычислимость некоторых классов конструктивных алгебр