Получено полное описание групп вида
, которые могут реализоваться как группы всех вычислимых автоморфизмов подходящих вычислимых моделей. Предложена трехступенчатая классификация типов изоморфизма групп вычислимых автоморфизмов по возможной арифметической сложности их орбит, и доказана ее нетривиальность.