Shore and Slaman (1999) showed that the jump operator is definable in the first-order structure of the degrees with the language 〈 ≤, =〉.
Шор та Сламен (1999) показали, що оператор стрибку може бути визначений через структуру першого порядку для степенів мовою 〈 ≤, =〉.