Splitting Theorems and the Jump Operator

@article{Downey1998SplittingTA,
  title={Splitting Theorems and the Jump Operator},
  author={Rodney G. Downey and Richard A. Shore},
  journal={Ann. Pure Appl. Logic},
  year={1998},
  volume={94},
  pages={45-52}
}
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerable set whose only proper splittings are low2. ∗Research partially supported by the U.S. ARO through ACSyAM at the Mathematical Sciences Institute of Cornell University Contract DAAL03-91-C-0027, the IGC of Victoria University and the Marsden Fund for Basic Science under grant VIC-509. §Research partially supported by… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
2 Extracted Citations
10 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-2 of 2 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 10 references

Classical Recursion Theory, North-Holland, Amsterdam

  • P. Odifreddi
  • 1990

Lempp , Jumps of nontrivial splittings of r . e . sets , Z math

  • M. Ingrassia, S.
  • Logic . Grundlagen Math .
  • 1990

Similar Papers

Loading similar papers…