Title of article :
Splitting theorems and the jump operator
Original Research Article
Author/Authors :
R.G. Downey، نويسنده , , Richard A. Shore، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1998
Abstract :
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.
Keywords :
Computably enumerable , Splitting , High , Jump operator , Low2
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic