|
This article is cited in 3 scientific papers (total in 3 papers)
The categoricity of the group of all computable automorphisms of the rational numbers
A. S. Morozova, J. K. Trussb a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
b University of Leeds
Abstract:
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.
Received: 27.09.2006
Citation:
A. S. Morozov, J. K. Truss, “The categoricity of the group of all computable automorphisms of the rational numbers”, Algebra Logika, 46:5 (2007), 649–662; Algebra and Logic, 46:5 (2007), 354–361
Linking options:
https://www.mathnet.ru/eng/al319 https://www.mathnet.ru/eng/al/v46/i5/p649
|
|