arXiv Analytics

Sign in

arXiv:1312.7275 [math.LO]AbstractReferencesReviewsResources

Arithmetical Foundations - Recursion. Evaluation. Consistency

Michael Pfender

Published 2013-12-10, updated 2015-04-13Version 2

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.

Categories: math.LO, cs.LO, math.CT
Subjects: 03G30, 03B30, 03D75
Related articles: Most relevant | Search more
arXiv:1305.6206 [math.LO] (Published 2013-05-27)
Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation
arXiv:1906.02873 [math.LO] (Published 2019-06-07)
Initial self-embeddings of models of set theory
arXiv:1902.07373 [math.LO] (Published 2019-02-20)
Construction and Set Theory

Links

Toolbox