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.
Recommendations
- A decidable countably categorical model without nontrivial recursive automorphisms
- Computable groups of automorphisms of models
- Publication:3491532
- The Automorphism Group of a Countable Recursively Saturated Structure
- On two questions concerning the automorphism groups of countable recursively saturated models of PA
Cited in
(9)- Computable groups of automorphisms of models
- A decidable countably categorical model without nontrivial recursive automorphisms
- scientific article; zbMATH DE number 3869317 (Why is no real title available?)
- scientific article; zbMATH DE number 4164819 (Why is no real title available?)
- Recursive categoricity and persistence
- Automorphisms and Recursive Structures
- Parametric groups of definable automorphisms of strongly constructive models
- Inner automorphisms of presheaves of groups
- Undecidability of automorphism groups
This page was built for publication: Automorphism groups of decidable models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1918792)
