Pages that link to "Item:Q2758070"
From MaRDI portal
The following pages link to On computable automorphisms of the rational numbers (Q2758070):
Displaying 13 items.
- Definability of linear orders over negative equivalences (Q321260) (← links)
- On computable presentations of some functional lattices (Q1044671) (← links)
- Negative dense linear orders (Q1745085) (← links)
- Structures of degrees of negative representations of linear orders (Q2066437) (← links)
- Computably separable models (Q2168971) (← links)
- Turing degrees and automorphism groups of substructure lattices (Q2213916) (← links)
- Uniform \(m\)-equivalencies and numberings of classical systems (Q2667891) (← links)
- The categoricity of the group of all computable automorphisms of the rational numbers (Q3546098) (← links)
- Definable sets in automorphism groups of rational order (Q3546119) (← links)
- Automatic discovery of irrationality proofs and irrationality measures (Q4991708) (← links)
- Lower semilattices of separable congruences of numbered algebras (Q6175224) (← links)
- Separable algorithmic representations of classical systems and their applications (Q6192015) (← links)
- Turing spectra of the automorphism groups of the order on the rationals (Q6641636) (← links)
