Hostname: page-component-848d4c4894-cjp7w Total loading time: 0 Render date: 2024-07-01T10:09:54.095Z Has data issue: false hasContentIssue false
  • English
  • Français

On computable automorphisms of the rational numbers

Published online by Cambridge University Press:  12 March 2014

A. S. Morozov  and
J. K. Truss
A. S. Morozov
Affiliation:
Sobolev Institute of Mathematics, Novosibirsk State University, Universitetskii PZ 4, Novosibirsk 90, Russia
J. K. Truss
Affiliation:
Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, E-mail: j.k.truss@leeds.ac.uk
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 66 , Issue 3 , September 2001 , pp. 1458 - 1470
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Glass, A. M. W., Ordered permutation groups, London Mathematical Society Lecture Note Series, vol. 55, Cambridge University Press, 1981.Google Scholar
[2]Malcev, A. I., Algorithms and recursive functions, Wolters–Noordorff, Groningen, Netherlands, 1970.Google Scholar
[3]Morozov, A. S., Permutations and implicit definability, Algebra and Logic, vol. 27 (1988), pp. 12–24.CrossRefGoogle Scholar
[4]Rogers, H., Theory of recursive functions and effective computability, McGraw–Hill Book Company, New York, St. Louis, San Francisco, Toronto, London, Sydney, 1967.Google Scholar
[5]Truss, J. K., On recovering structures from quotients of their automorphism groups, Ordered groups and infinite permutation groups (Holland, W. Charles, editor), Klüwer, 1996, pp. 63–95.CrossRefGoogle Scholar