\(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic (Q2862108)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic |
scientific article; zbMATH DE number 6226812
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic |
scientific article; zbMATH DE number 6226812 |
Statements
14 November 2013
0 references
proof-theoretic analysis
0 references
polymodal provability logics
0 references
math.LO
0 references
\(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic (English)
0 references
The paper gives an overview of an essential part of a \(\Pi_1^0\) ordinal analysis of \({\mathrm{PA}}\). This analysis is mainly performed within the polymodal provability logic \({\mathrm{GLP}}_\omega\). The system \({\mathrm{GLP}}\) was used as a basis for a simple proof-theoretic analysis of \({\mathrm{PA}}\) [\textit{L. D. Beklemishev}, Ann. Pure Appl. Logic 128, No. 1--3, 103--123 (2004; Zbl 1048.03045)]. The author reflects on ways of extending this analysis beyond \({\mathrm{PA}}\). He proves a result that simplifies the reflection principle, and shows that for an ordinal analysis the full reduction property is not needed.
0 references
