Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910190421409792 |
|---|---|
| author | Grobner, Harald |
| author_facet | Grobner, Harald |
| contents | In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence $\mathrm{Con}(\mathrm{PA})$. In this note, we recast that this phenomenon extends to all sufficiently strong arithmetizable theories: For such theories $T$, there exists a primitive recursive selector producing proofs of all instances of the associated consistency schema. This results -- a soft version of a classical result of Pudlák -- yields a form of computational uniformity, despite the fact that it cannot be internalized as the uniform consistency sentence of Gödel's Second Incompleteness Theorem. Our main goal is to analyze this gap and to locate selector proofs within the broader framework of provability and reflection. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_00266 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen Grobner, Harald Logic In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence $\mathrm{Con}(\mathrm{PA})$. In this note, we recast that this phenomenon extends to all sufficiently strong arithmetizable theories: For such theories $T$, there exists a primitive recursive selector producing proofs of all instances of the associated consistency schema. This results -- a soft version of a classical result of Pudlák -- yields a form of computational uniformity, despite the fact that it cannot be internalized as the uniform consistency sentence of Gödel's Second Incompleteness Theorem. Our main goal is to analyze this gap and to locate selector proofs within the broader framework of provability and reflection. |
| title | Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen |
| topic | Logic |
| url | https://arxiv.org/abs/2605.00266 |