Морозов А. С., Бузыкаева А. Н.
Об одной иерархии групп вычислимых автоморфизмов

Получено полное описание групп вида $\bigoplus\limits_{i \in I} {Z}_{p_i}$, которые могут реализоваться как группы всех вычислимых автоморфизмов подходящих вычислимых моделей.
Предложена трехступенчатая классификация типов изоморфизма групп вычислимых автоморфизмов по возможной арифметической сложности их орбит, и доказана ее нетривиальность.

Morozov A. S., Buzykaeva A. N.
On a hierarchy of groups of computable automorphisms

A complete description is provided for the groups \bigoplus \limits _{i \in I} Z_{p_i} that can be realized as groups of all computable automorphisms for appropriate computable models. We introduce a three-level classification of isomorphism types of groups of computable automorphisms by the possible arithmetical complexity of their orbits and prove this classification to be nontrivial.

Полный текст статьи / Full texts:

• PDF file (369 KB)
• PostScript file (710 KB)