A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476)
From MaRDI portal
scientific article; zbMATH DE number 980648
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game |
scientific article; zbMATH DE number 980648 |
Statements
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (English)
0 references
8 April 1997
0 references
hydra game
0 references
Gentzen's proof reduction
0 references
unprovability
0 references
arithmetic
0 references
ordinal strength of Jervell's Gentzen game
0 references
