Recursion theory includes the study of generalized notions of this field such as arithmetic reducibility, hyperarithmetical reducibility and α-recursion theory, as described by Sacks (1990).
Teoria calculabilității cuprinde studiul unor noțiuni generalizate din acest domeniu, cum ar fi reductibilitatea aritmetică⁠(d), reductibilitatea hyperarithmetică⁠(d) și teoria α-recursivității⁠(d), așa cum descrie Sacks (1990).