Geodesic
The categoricity of the group of all computable automorphisms of the rational numbers
Algebra i logika, Tome 46 (2007) no. 5, pp. 649-662

Voir la notice de l'article provenant de la source Math-Net.Ru

We prove that there is a first-order sentence $\varphi$ such that the group of all computable automorphisms of the ordering of the rational numbers is its only model among the groups that are embeddable in the group of all computable permutations.
Keywords: group of all computable automorphisms of rational numbers, finitely axiomatizable theory, categorical theory. 
@article{AL_2007_46_5_a6,
     author = {A. S. Morozov and J. K. Truss},
     title = {The categoricity of the group of all computable automorphisms of the rational numbers},
     journal = {Algebra i logika},
     pages = {649--662},
     publisher = {mathdoc},
     volume = {46},
     number = {5},
     year = {2007},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2007_46_5_a6/}
}
TY  - JOUR
AU  - A. S. Morozov
AU  - J. K. Truss
TI  - The categoricity of the group of all computable automorphisms of the rational numbers
JO  - Algebra i logika
PY  - 2007
SP  - 649
EP  - 662
VL  - 46
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2007_46_5_a6/
LA  - ru
ID  - AL_2007_46_5_a6
ER  - 
%0 Journal Article
%A A. S. Morozov
%A J. K. Truss
%T The categoricity of the group of all computable automorphisms of the rational numbers
%J Algebra i logika
%D 2007
%P 649-662
%V 46
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2007_46_5_a6/
%G ru
%F AL_2007_46_5_a6
A. S. Morozov; J. K. Truss. The categoricity of the group of all computable automorphisms of the rational numbers. Algebra i logika, Tome 46 (2007) no. 5, pp. 649-662. http://geodesic.mathdoc.fr/item/AL_2007_46_5_a6/