Logical Methods pp 422-437

# Recursive Properties of Intervals of Recursive Linear Orders

• Geoffrey Hird
Chapter
Part of the Progress in Computer Science and Applied Logic book series (PCS, volume 12)

## Abstract

We investigate the possible recursive properties of intervals, and other suborderings, of recursive linear orders. Let A be a recursive linear order with a co-r.e. interval P. We characterize those (A, P) for which there exists a recursive linear order ℬ and an isomorphism f: ℬ ≅ A such that f -1 (P) is (a) not r.e.; (b) immune; (c) hyperimmune. We give general sufficient conditions for A and the subset P under which there exist such ℬ and f with f -1(P) exhibiting the above properties. We show, that no interval P can be hyperhyperimmune (or even strongly hyperimmune).

## References

1. [1]
Downey, R.G., Recursion theory and linear orderings. Annals of Pure and Applied Logic. To appear.Google Scholar
2. [2]
Goncharov, S.S. and A.T. Nurtazin [1973], Constructive models of complete solvable theories. Algebra and Logic, 12, 67–77.
3. [3]
Hird, Geoffrey [1984], Recursive Properties of Relations on Models. PhD thesis, Monash University, Melbourne, Australia.Google Scholar
4. [4]
Metakides, G. and A. Nerode [1975], Recursion theory and algebra. In J.N. Crossley (ed.), Algebra and Logic, vol. 450 of Lecture Notes in Mathematics, 209–219. Springer-Verlag, Berlin.
5. [5]
Metakides, G. and A. Nerode [1977], Recursively enumerable vector spaces. Annals of Math. Logic, 11, 147–172.
6. [6]
Metakides, G. and A. Nerode [1979], Effective content of field theory. Annals of Math. Logic 17, 289–320.
7. [7]
Metakides, G. and A. Nerode [1980], Recursion theory on fields and abstract dependence. Journal of Algebra, 65, 36–59.
8. [8]
Nerode, A. and J.B. Remmel [1985], A survey of r.e. substructures, American Mathematical Society. Proc. Symposia in Pure Mathematics, 42, 323–373.
9. [9]
Rogers, Jr., H. [1967], Theory of Effective Functions and Effective Computability. McGraw-Hill Book Co.Google Scholar
10. [10]