arXiv Analytics

Sign in

arXiv:2003.13207 [math.LO]AbstractReferencesReviewsResources

Two remarks on proof theory of first-order arithmetic

Toshiyasu Arai

Published 2020-03-30Version 1

In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $\Sigma_{1}$-formulas in PA. Second Paris-Harrington's proof for their independence result is reformulated to show a `consistency' proof of PA based on a combinatorial principle.

Categories: math.LO
Subjects: 03F30
Related articles: Most relevant | Search more
arXiv:1610.02191 [math.LO] (Published 2016-10-07)
Proof Theory of Constructive Systems: Inductive Types and Univalence
arXiv:2209.08976 [math.LO] (Published 2022-09-19)
Proof Theory for Lax Logic
arXiv:1007.0844 [math.LO] (Published 2010-07-06)
Proof theory for theories of ordinals III: $Π_{N}$-reflection

Links

Toolbox