Arithmetical Foundations - Recursion. Evaluation. Consistency
arXiv:1312.7275
Abstract
Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, Gödel incompleteness theorems, inconsistency provability for set theory, constructive consistency.