On a hierarchy of groups of computable automorphisms.
Page 1
Morozov, A.S., Buzykaeva, A.N. (2002)
Sibirskij Matematicheskij Zhurnal
L. Makar-Limanov (1984)
Bulletin de la Société Mathématique de France
Combarro, E.F. (2004)
Sibirskij Matematicheskij Zhurnal
J. K. Truss (2009)
Fundamenta Mathematicae
Let (C,R) be the countable dense circular ordering, and G its automorphism group. It is shown that certain properties of group elements are first order definable in G, and these results are used to reconstruct C inside G, and to demonstrate that its outer automorphism group has order 2. Similar statements hold for the completion C̅.
Narain Gupta, Said Sidki (1983)
Mathematische Zeitschrift
Richard Bödi (1994)
Monatshefte für Mathematik
Richard Bödi (1994)
Mathematische Zeitschrift
Page 1