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. 
Downey, R.G., Recursion theory and linear orderings. Annals of Pure and Applied Logic. To appear.Google Scholar
2. 
Goncharov, S.S. and A.T. Nurtazin , Constructive models of complete solvable theories. Algebra and Logic, 12, 67–77.
3. 
Hird, Geoffrey , Recursive Properties of Relations on Models. PhD thesis, Monash University, Melbourne, Australia.Google Scholar
4. 
Metakides, G. and A. Nerode , 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. 
Metakides, G. and A. Nerode , Recursively enumerable vector spaces. Annals of Math. Logic, 11, 147–172.
6. 
Metakides, G. and A. Nerode , Effective content of field theory. Annals of Math. Logic 17, 289–320.
7. 
Metakides, G. and A. Nerode , Recursion theory on fields and abstract dependence. Journal of Algebra, 65, 36–59.
8. 
Nerode, A. and J.B. Remmel , A survey of r.e. substructures, American Mathematical Society. Proc. Symposia in Pure Mathematics, 42, 323–373.
9. 
Rogers, Jr., H. , Theory of Effective Functions and Effective Computability. McGraw-Hill Book Co.Google Scholar
10.