Pages that link to "Item:Q1918792"
From MaRDI portal
The following pages link to Automorphism groups of decidable models (Q1918792):
Displaying 7 items.
- Parametric groups of definable automorphisms of strongly constructive models (Q546226) (← links)
- Undecidability of automorphism groups (Q699745) (← links)
- Computable groups of automorphisms of models (Q1094411) (← links)
- A decidable countably categorical model without nontrivial recursive automorphisms (Q1825864) (← links)
- Recursive categoricity and persistence (Q3767330) (← links)
- Automorphisms and Recursive Structures (Q3775545) (← links)
- Inner automorphisms of presheaves of groups (Q6159708) (← links)