On computable automorphisms of the rational numbers
The authors study the relationship between ideals \textbf{I} of the Turing degrees and groups of \textbf{I}-recursive automorphisms of orderings on the rational numbers. For any ideal \textbf{I} of the Turing degrees the group of \textbf{I}-recursive automorphisms consists of all automorphisms of the orderings on the rational numbers which have (under a suitable coding) a Turing degree lying in \textbf{I}. One of the main results of the paper is that the isomorphism type of such an \textbf{I}-recursive group defines the ideal \textbf{I}, or in other words, the ideal \textbf{I} can be `recovered' from the group. The authors also give a general correspondence between principal ideals \textbf{d} of the Turing degrees and the first-order properties of such \textbf{d}-recursive groups. The key idea involved in the proofs is to reconstruct the ideal by interpreting various concepts inside the group of \textbf{I}-recursive automorphisms, specifically the natural numbers and the first-order arithmetic.
- On computable presentations of some functional lattices
- Negative dense linear orders
- Structures of degrees of negative representations of linear orders
- Computably separable models
- Turing degrees and automorphism groups of substructure lattices
- Uniform \(m\)-equivalencies and numberings of classical systems
- Definability of linear orders over negative equivalences
- The categoricity of the group of all computable automorphisms of the rational numbers
- Definable sets in automorphism groups of rational order
- Automatic discovery of irrationality proofs and irrationality measures
- Lower semilattices of separable congruences of numbered algebras
- Separable algorithmic representations of classical systems and their applications
- Turing spectra of the automorphism groups of the order on the rationals
- On the group of computable automorphisms of the linear order of the reals
This page was built for publication: On computable automorphisms of the rational numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758070)
