Skip to main navigation Skip to search Skip to main content

Splitting and jump inversion in the Turing degrees

  • University of Leeds
  • Chinese Academy of Sciences

Research output: Contribution to journalArticlepeer-review

Abstract

It is shown that for any computably enumerable degree a ‰ 0, and any Turing degree s, if s ≥ 0 ′, and c.e. in a, then there exists a c.e. degree x with the following properties: x < a, a is splittable over x, and x ′ = s.

Original languageEnglish
Pages (from-to)133-142
Number of pages10
JournalComputability
Volume7
Issue number2-3
DOIs
StatePublished - 2018
Externally publishedYes

Keywords

  • Turing degrees
  • computably enumerable degree
  • jump inversion
  • splitting

Fingerprint

Dive into the research topics of 'Splitting and jump inversion in the Turing degrees'. Together they form a unique fingerprint.

Cite this