Initial function of recursion theory
ID: initial-function-of-recursion-theory
The initial functions are the zero function, the successor function, and all coordinate projections.
New to topics? Read the docs here!
New to topics? Read the docs here!