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