On Computable Automorphisms of the Rational Numbers
Morozov, A. S. ; Truss, J. K.
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 1458-1470 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
The relationship between ideals I of Turing degrees and groups of I-recursive automorphisms of the ordering on rationals is studied. We discuss the differences between such groups and the group of all automorphisms, prove that the isomorphism type of such a group completely defines the ideal I, and outline a general correspondence between principal ideals of Turing degrees and the first-order properties of such groups.
Publié le : 2001-09-14
Classification:  
@article{1183746571,
     author = {Morozov, A. S. and Truss, J. K.},
     title = {On Computable Automorphisms of the Rational Numbers},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 1458-1470},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746571}
}

Morozov, A. S.; Truss, J. K. On Computable Automorphisms of the Rational Numbers. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  1458-1470. http://gdmltest.u-ga.fr/item/1183746571/