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