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