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

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

Kulikov P. A.
Some constructions on the class of groups of computable automorphisms

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.

Полный текст статьи / Full texts:

• PDF file (455 KB)
• PostScript file (860 KB)