Classifying phase transition thresholds for Goodstein sequences and hydra games

DOI10.1007/978-3-319-10103-3_16MaRDI QIDQ5361258zbMATH OpenOpenAlexFDO

Authors 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

Goodstein sequencesHardy functionshydrasindependence resultsPeano arithmeticprovably recursive functions

Mathematics Subject Classification ID

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

Recommendations

• Phase transition thresholds for some Friedman-style independence results
• Goodstein's function
• A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem.
• Hydra Games and Tree Ordinals
• An extremely sharp phase transition threshold for the slow growing hierarchy

Cited in

(6)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Die another day
• Discontinuous phase transition in an open-ended Naming Game
• Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
• scientific article; zbMATH DE number 7614167 (Why is no real title available?)
• A WALK WITH GOODSTEIN

This page was built for publication: Classifying phase transition thresholds for Goodstein sequences and hydra games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5361258)