ω-Trees in stationary logic
Автоморфизмы алгебры с одной монарной операцией в сигнатуре
Автоморфизмы булевых алгебр, рeкурсивных на атомах.
Автоморфизмы конструктивизаций булевых алгебр.
Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта -формул
Автоустойчивость булевых алгебр с выделенным идеалом.
Автоустойчивость гиперарифметических моделей
Автоустойчивость и вычислимые семейства конструктивизаций.
Автоустойчивость и продолжение конструктивизаций.
Автоустойчивость моделей
Автоустойчивость моделей и абелевых групп
Аксиоматизируемость и модельная полнота класса регулярных полигонов.
Аксиоматизируемость и полнота некоторых классов -полигонов.
Алгебра Линденбаума-Тарского булевых алгебр с выделенным идеаломи
Алгебра Линденбаума-Тарского класса булевых алгебр с одним выделенным идеалом
Алгебраически неэквивалентные конструктивизации бесконечномерного векторного пространства
Алгебраические системы 2-й ступени
Алгоритмическая размерность решеток.
Алгоритмические размерности гомоморфных образов моделей
Алгоритмические свойства ветвящихся моделей.