Strong categoricity.
The concept of a binary relation over partial enumerated sets.
The degree spectra of definable relations on Boolean algebras.
The effective Borel hierarchy
Let K be a subclass of Mod() which is closed under isomorphism. Vaught showed that K is (respectively, ) in the Borel hierarchy iff K is axiomatized by an infinitary (respectively, ) sentence. We prove a generalization of Vaught’s theorem for the effective Borel hierarchy, i.e. the Borel sets formed by union and complementation over c.e. sets. This result says that we can axiomatize an effective or effective Borel set with a computable infinitary sentence of the same complexity. This result...
Torsion-free constructive nilpotent -groups.
Une généralisation des ensembles énumérés
Uniform reducibility of representability problems for algebraic structures.
-principal numberings.
Автоморфизмы булевых алгебр, рeкурсивных на атомах.
Автоморфизмы конструктивизаций булевых алгебр.
Автономная вычислимость.
Автоустойчивость булевых алгебр с выделенным идеалом.
Автоустойчивость гиперарифметических моделей
Автоустойчивость моделей
Автоустойчивость моделей и абелевых групп
Аксиомы отделимости и разбиения натурального ряда
Алгебраически неэквивалентные конструктивизации бесконечномерного векторного пространства
Алгоритмическая размерность решеток.
Алгоритмическая сложность проблемы вхождения в коммутанты и члены нижнего центрального ряда.
Алгоритмические свойства ветвящихся моделей.