Abstract:
We show that the computable inverse limit of a computable family of computable groups, the computable wreath product of a group of computable automorphisms and a computable group, as well as the commutant and center of every computable group can be realized as groups of computable automorphisms of suitable computable models.
Keywords:group of computable automorphisms of a computable model, computable group.