 Alpha recursion theory

In recursion theory, α recursion theory is a generalisation of recursion theory to subsets of admissible ordinals formula_1.An admissible set is closed under formula_2 functions.