Two remarks on proof theory of first-order arithmetic
Logic
2021-01-01 v2
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 -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.
Cite
@article{arxiv.2003.13207,
title = {Two remarks on proof theory of first-order arithmetic},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:2003.13207},
year = {2021}
}