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