Slow consistency (Q1935874)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Slow consistency |
scientific article |
Statements
Slow consistency (English)
0 references
19 February 2013
0 references
The authors introduce the notion of slow consistency \(\mathrm{Con}^*(\mathrm{PA})\) of Peano arithmetic \(\mathrm{PA}\): ``For all \(x\), the theory consisting of the first \(f(x)\) non-logical axioms of \(\mathrm{PA}\) is consistent'', where \(f\) is a certain slow-growing computable function. Then the authors prove that the strength of the theory \(\mathrm{PA} + \mathrm{Con}^*(\mathrm{PA})\) is strictly between the strength of the theory \(\mathrm{PA}\) and the strength of the theory \(\mathrm{PA} + \mathrm{Con}(\mathrm{PA})\).
0 references
Peano arithmetic
0 references
consistency strength
0 references
interpretation
0 references
fast-growing function
0 references
slow consistency
0 references
Orey sentence
0 references