Automorphism groups of decidable models
The author studies the question as to whether the classes of isomorphism types of recursive automorphism groups for recursive and decidable models coincide. It is proved that the answer is positive. Moreover, the author shows that all isomorphism types of the recursive automorphism groups can be realized in a single countably categorical model.
scientific article; zbMATH DE number 907280