Proof Theoretic Analysis by Iterated Reflection (Q4637223)
From MaRDI portal
scientific article; zbMATH DE number 6861192
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof Theoretic Analysis by Iterated Reflection |
scientific article; zbMATH DE number 6861192 |
Statements
Proof Theoretic Analysis by Iterated Reflection (English)
0 references
18 April 2018
0 references
ordinal analysis
0 references
reflection principles
0 references
Turing progressions
0 references
partial conservativity
0 references
parameter-free induction
0 references
