Shore and Slaman (1999) showed that the jump operator is definable in the first-order structure of the degrees with the language 〈 ≤, =〉.
Shore und Slaman (1999) zeigten, dass sich der Sprungoperator in der Struktur der Grade in der Logik erster Stufe mit der Sprache ⟨ ≤ , = ⟩ {\displaystyle \left\langle {\leq },{=}\right\rangle } definieren lässt.