The second incompleteness theorem and bounded interpretations (Q454368): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 / reviewed by | |||
Property / reviewed by: Grigori Mints / 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 |
Revision as of 12:14, 30 June 2023
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