Об одной иерархии групп вычислимых автоморфизмов

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