The second incompleteness theorem and bounded interpretations (Q454368): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Let \(\mathrm{con}_i(U)\) be consistency of a theory \(U\) for provability involving axioms witnessed below \(i\). Let \(\mathrm{slb-con}(U)\) (super-logarithmically bounded consistency of \(U\)) mean \(\forall x( \mathrm{superexp}(x)\downarrow\iff \mathrm{con}_x(U))\). It is proved that \(C=\mathrm{slb-con}(S^1_2)\) is an Orey sentence for Kalmar-elementary arithmetic EA, i.e., EA interprets both \(\mathrm{EA}+\mathrm C\) and \(\mathrm{EA}+\neg \mathrm C\). Therefore C is independent of EA although it is weaker than \(\mathrm{con}(\mathrm{EA})\). | |||
Property / review text: Let \(\mathrm{con}_i(U)\) be consistency of a theory \(U\) for provability involving axioms witnessed below \(i\). Let \(\mathrm{slb-con}(U)\) (super-logarithmically bounded consistency of \(U\)) mean \(\forall x( \mathrm{superexp}(x)\downarrow\iff \mathrm{con}_x(U))\). It is proved that \(C=\mathrm{slb-con}(S^1_2)\) is an Orey sentence for Kalmar-elementary arithmetic EA, i.e., EA interprets both \(\mathrm{EA}+\mathrm C\) and \(\mathrm{EA}+\neg \mathrm C\). Therefore C is independent of EA although it is weaker than \(\mathrm{con}(\mathrm{EA})\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6088848 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
second incompleteness theorem | |||
Property / zbMATH Keywords: second incompleteness theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
interpretability | |||
Property / zbMATH Keywords: interpretability / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Grigori Mints / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-012-9385-z / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1980167452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the provability logic of bounded arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability of the theory of the natural integers with the Cantor pairing function and the successor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetization of metamathematics in a general setting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The computational complexity of logical theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computer Science Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The role of quantifier alternations in cut elimination / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3931384 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cuts, consistency statements and interpretations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatizability by a schema / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pairs, sets and sequences in first-order theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Can We Make the Second Incompleteness Theorem Coordinate Free? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3739120 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the scheme of induction for bounded arithmetic formulas / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:24, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The second incompleteness theorem and bounded interpretations |
scientific article |
Statements
The second incompleteness theorem and bounded interpretations (English)
0 references
1 October 2012
0 references
Let \(\mathrm{con}_i(U)\) be consistency of a theory \(U\) for provability involving axioms witnessed below \(i\). Let \(\mathrm{slb-con}(U)\) (super-logarithmically bounded consistency of \(U\)) mean \(\forall x( \mathrm{superexp}(x)\downarrow\iff \mathrm{con}_x(U))\). It is proved that \(C=\mathrm{slb-con}(S^1_2)\) is an Orey sentence for Kalmar-elementary arithmetic EA, i.e., EA interprets both \(\mathrm{EA}+\mathrm C\) and \(\mathrm{EA}+\neg \mathrm C\). Therefore C is independent of EA although it is weaker than \(\mathrm{con}(\mathrm{EA})\).
0 references
second incompleteness theorem
0 references
interpretability
0 references
0 references