In recursion theory, recursion theorems are usually considered for effective functions over an effective universal set, like the set $N$ of all natural numbers or the set $RE$ of all recursively enumerable sets.
We observe that certain effective subsets of these effective universes have rich structure, and we study recursion theorems for these effective subsets.
If you have any questions or comments regarding this page please send mail to help.ubc.ca.