Automorphism groups of decidable models (Q1918792)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automorphism groups of decidable models |
scientific article; zbMATH DE number 907280
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automorphism groups of decidable models |
scientific article; zbMATH DE number 907280 |
Statements
Automorphism groups of decidable models (English)
0 references
21 July 1996
0 references
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.
0 references
recursive models
0 references
recursive automorphism groups
0 references
decidable models
0 references
countably categorical model
0 references