Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games

DOI10.1007/978-3-319-10103-3_16zbMath1378.03040OpenAlexW2346543816MaRDI QIDQ5361258

Frederik Meskens, Andreas Weiermann

Publication date: 27 September 2017

Published in: Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10103-3_16

zbMATH Keywords

Peano arithmeticindependence resultsprovably recursive functionsHardy functionsGoodstein sequenceshydras

Mathematics Subject Classification ID

Applications of game theory (91A80) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)

Related Items (4)

Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal ⋮ A WALK WITH GOODSTEIN ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Die another day

This page was built for publication: Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games