Skip to main content
SpringerLink
Log in

Isolation in the CEA hierarchy

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract.

Examining various kinds of isolation phenomena in the Turing degrees, I show that there are, for every n>0, (n+1)-c.e. sets isolated in the n-CEA degrees by n-c.e. sets below them. For n≥1 such phenomena arise below any computably enumerable degree, and conjecture that this result holds densely in the c.e. degrees as well. Surprisingly, such isolation pairs also exist where the top set has high degree and the isolating set is low, although the complete situation for jump classes remains unknown.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Arslanov, M., LaForte, G., Slaman, T.: Relative enumerability in the difference hierarchy. J. Symbolic Logic 63(2), 411–421 (1998)

    MATH  Google Scholar 

  2. Arslanov, M.M., Lempp, S., Shore, R.A.: On isolating r.e. and isolated d.r.e. degrees. In: Computability, Enumerability, Unsolvability: Directions in Recursion Theory, S.B. Cooper, T.A. Slaman, S.S. Wainer (eds.), LMSLN 224, Cambridge University Press, Cambridge, England, 1996, pp. 61–80

  3. Cooper, S.B.: The density of the low2 n-r.e. degrees. Arch. Math. Logic 30(1), 19–24 (1991)

    Google Scholar 

  4. Cooper, S.B., Harrington, L., Lachlan, A.H., Lempp, S., Soare, R.I.: The d.r.e. degrees are not dense. Ann. Pure Appl. Logic 55, 125–151 (1991)

    MATH  Google Scholar 

  5. Cooper, S.B., Lempp, S., Watson, P.: Weak density and cupping in the d.r.e. degrees. Israel J. Math. 67, 137–152 (1989)

    Google Scholar 

  6. Cooper, S.B., Yi, X.: Isolated d.r.e. degrees. Unpublished

  7. Cholak, P., Hinman, P.: Iterated relative recursive enumerability. Arch. Math. Logic 33, 321–346 (1994)

    MathSciNet  MATH  Google Scholar 

  8. Ishmukhametov, S., Wu, G.: Isolation and the high/low hierarchy. Arch. Math. Logic 41, 259–266 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  9. Jockusch, C., Shore, R.: Pseudojump operators I: the c.e. case. Trans. Am. Math. Soc. 275, 599–609 (1983)

    Google Scholar 

  10. Jockusch, C., Shore, R.: Pseudojump operators II: transfinite iterations, hierarchies, and minimal covers. J. Symbolic Logic 49, 1205–1236 (1984)

    MathSciNet  MATH  Google Scholar 

  11. LaForte, G.: The isolated d.r.e. degrees are dense in the r.e. degrees. Math. Log. Quarterly 42(2), 83–103 (1996)

    Google Scholar 

  12. Soare, R.I.: Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987, pp. xviii+437

  13. Soare, R.I., Stob, M.: Relative recursive enumerability. Proceedings of the Herbrand Symposium Logic Colloquium ‘81 (J. Stern, ed.), North-Holland, Amsterdam, 1982, pp. 299-324

  14. Yi, X.: Highness and the density property in the d.r.e. degrees. University of Leeds, Dept. Pure Math. 1994 Preprint Series, No. 24, p. 12

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of West Florida, 11000, University Parkway, Pensacola, FL, USA

    Geoffrey LaForte

Authors
  1. Geoffrey LaForte
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Geoffrey LaForte.

Rights and permissions

Reprints and permissions

About this article

Cite this article

LaForte, G. Isolation in the CEA hierarchy. Arch. Math. Logic 44, 227–244 (2005). https://doi.org/10.1007/s00153-004-0250-2

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-004-0250-2

Keywords

Search

Navigation