Arithmetical Foundations - Recursion. Evaluation. Consistency

Publication date 10 December 2013

Foundations of classical theories (including reverse mathematics) (03B30) Abstract and axiomatic computability and recursion theory (03D75) Categorical logic, topoi (03G30)

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.

This page was built for publication: Arithmetical Foundations - Recursion. Evaluation. Consistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6247658)