Splitting theorems and the jump operator

Rodney G. Downey, Richard A. Shore · Annals of Pure and Applied Logic · 1998

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.

Read the paper · More papers on PaperTik