ϵ">]>
Partial μ -Recursive Functions.
Remark. The word μ -r. abbreviates the word μ -recursive.
Arithmetization of μ -r. function symbols.
Arity of μ -r. function symbols.
Well-formed μ -r. indices. The binary primitive recursive predicate Mrf (n,e) holds if the number e is the code of some n -ary μ -r. function symbol.
[CL] Display of well-formed μ -r. indices. The unary predicate Ff is the union format and it can be used to control the display of well-formed μ -r. indices.
[CL] Interpreter of μ -r. function symbols. Only for debugging.