Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection (Q1887655)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection |
scientific article |
Statements
Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection (English)
0 references
22 November 2004
0 references
The author extends his work in Part I [Ann. Pure Appl. Logic 122, 1--85 (2003; Zbl 1032.03049)] from the Mahlo case to \(\Pi_3\)-reflection. The analysis is given by use of ordinal diagrams defined by the author in J. Symb. Log. 65, 1375--1394 (2000; Zbl 0979.03043)].
0 references
Reflecting ordinals
0 references
Ordinal analysis
0 references
Proof theory
0 references
Proof-theoretic ordinals
0 references
0 references
