A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476)
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: Publication:4333476 |
scientific article; zbMATH DE number 980648
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7895773649215698
0 references
0.7875829339027405
0 references
0.7792286276817322
0 references
0.7792286276817322
0 references
