Pages that link to "Item:Q1094411"
From MaRDI portal
The following pages link to Computable groups of automorphisms of models (Q1094411):
Displaying 11 items.
- Parametric groups of definable automorphisms of strongly constructive models (Q546226) (← links)
- Some constructions on the class of groups of computable automorphisms (Q606023) (← links)
- Group theoretic properties of the group of computable automorphisms of a countable dense linear order (Q1810808) (← links)
- A decidable countably categorical model without nontrivial recursive automorphisms (Q1825864) (← links)
- Automorphism groups of decidable models (Q1918792) (← links)
- Turing degrees and automorphism groups of substructure lattices (Q2213916) (← links)
- Uniform \(m\)-equivalencies and numberings of classical systems (Q2667891) (← links)
- On computable automorphisms of the rational numbers (Q2758070) (← links)
- An introduction to computable model theory on groups and fields (Q2882823) (← links)
- Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra (Q3188263) (← links)
- The categoricity of the group of all computable automorphisms of the rational numbers (Q3546098) (← links)
