A deep theorem of Shore and Slaman (1999) states that the function mapping a degree x to the degree of its Turing jump is definable in the partial order of the Turing degrees.
O teoremăa lui Shore și Slaman (1999) afirmă că funcția ce asociază un grad x gradului saltului său Turing este definibilă în ordinea parțială a gradelor Turing.