On a Hierarchy of Groups of Computable Automorphisms

Author: Morozov A.S.   Buzykaeva A.N.  

Publisher: Springer Publishing Company

ISSN: 0037-4466

Source: Siberian Mathematical Journal, Vol.43, Iss.1, 2002-01, pp. : 124-127

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

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.