跳躍逆定理

跳躍逆定理(jump inversion theorem)跳躍運算元逆像存在定理.跳躍運算元是}}`}()0')的映射一個重要的問題是:該映射是否為滿射?弗里德貝格(Friedberg,R. M.)最早對該問題給出了肯定的回答.他證明了弗里德貝格跳躍逆定理:任給不可解度。)0'，存在度a，使得a'=a U 0'=c.庫拍( Cooper , S. B.)進一步證明了以下更強的結論:任給不可解度。> 0'，存在極小度m，使得m'=mU0'=c.而對於re度的跳躍，薩克斯((Sacks,G. E.)證明了薩克斯跳躍定理:任給不可解度b,c，若b,0'，且b相對0're , 0<c鎮0'，則存在非遞歸re度a，使得a'=b，且。襲a.跳躍逆定理表明r。度的跳躍類為{“}“) 0'，且a相對於0're}.