Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games (Q5361258)
From MaRDI portal
scientific article; zbMATH DE number 6781294
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games |
scientific article; zbMATH DE number 6781294 |
Statements
Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games (English)
0 references
27 September 2017
0 references
independence results
0 references
Goodstein sequences
0 references
hydras
0 references
provably recursive functions
0 references
Peano arithmetic
0 references
Hardy functions
0 references
