Introduction to clarithmetic II
Abstract
The earlier paper "Introduction to clarithmetic I" constructed an axiomatic system of arithmetic based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proved its soundness and extensional completeness with respect to polynomial time computability. The present paper elaborates three additional sound and complete systems in the same style and sense: one for polynomial space computability, one for elementary recursive time (and/or space) computability, and one for primitive recursive time (and/or space) computability.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2010
- DOI:
- 10.48550/arXiv.1004.3236
- arXiv:
- arXiv:1004.3236
- Bibcode:
- 2010arXiv1004.3236J
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Computational Complexity;
- Mathematics - Logic;
- Mathematics - Number Theory;
- 03F50;
- 03D75;
- 03D15;
- 68Q10;
- 68T27;
- 68T30;
- F.1.1;
- F.1.2;
- F.1.3
- E-Print:
- Information and Computation 247 (2016), pp.290-312