jump [skok] : Niech A będzie zbiorem licbz naturalnych. Skok A (zwany również skokiem Turinga A) jest zbiorem stopu, relatwyziwoanym do A ; tj. skok A jest zbiorem {e:φeA(e) jest definiowane}, gdzie φeA oznacza częściowo obliczalnąa A (rekurencyjną A) funkcję z liczbą Gödela e. Skok A jest oznaczany A′