Arithmetical Foundations - Recursion. Evaluation. Consistency
Logic
2015-04-14 v2 Logic in Computer Science
Category Theory
Abstract
Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, G\"odel incompleteness theorems, inconsistency provability for set theory, constructive consistency.
Cite
@article{arxiv.1312.7275,
title = {Arithmetical Foundations - Recursion. Evaluation. Consistency},
author = {Michael Pfender},
journal= {arXiv preprint arXiv:1312.7275},
year = {2015}
}