О группах автоморфизмов разрешимых моделей

Доказывается отсутствие связи между типами изоморфизма групп обычных и рекурсивных автоморфизмов рекурсивных моделей и свойством разрешимости для этих моделей. Более того, показывается, что все типы изоморфизма групп рекурсивных автоморфизмов могут быть реализованы в одной – с точностью до обычного изоморфизма – разрешимой счетно-категоричной модели. Показывается, что учет действия группы на основном множестве модели уже позволяет различить классы групп для разрешимых и всех рекурсивных моделей.