Generalizations
Hyperarithmetical theory is generalized by α-recursion theory, which is the study of definable subsets of admissible ordinals. Hyperarithmetical theory is the special case in which α is .
Read more about this topic: Hyperarithmetical Theory