Two remarks on proof theory of first-order arithmetic

arXiv2003.13207MaRDI QIDQ6337635FDOQ6337635

Authors: Toshiyasu Arai 

Publication date: 29 March 2020

Abstract: In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $Sigm{a}_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.

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication: Two remarks on proof theory of first-order arithmetic

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