广义递归论

广义递归论（generalized recursion theory ），是指把自然数集上定义的递归论推广到其他数学结构上去而得到的数学理论。常见的有有穷类型对象上的递归论和序数上的递归论。