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