Некоторые конструкции на классе групп вычислимых автоморфизмов

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