Goodstein's function

MaRDI QIDQ3527612zbMATH OpenFDO

Authors Andrés Eduardo Caicedo

Publication date 29 September 2008

Full work available at URL https://eudml.org/doc/129620

zbMATH Keywords

fast growing recursive functionHardy hierarchyLöb-Wainer fast growing hierarchyPeano arithmetic

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) First-order arithmetic and fragments (03F30)

Recommendations

• Goodstein's theorem revisited
• scientific article; zbMATH DE number 1215495
• Extensions of arithmetic for proving termination of computations
• scientific article; zbMATH DE number 4031678
• Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal

Cited in

(12)

• A model theoretic approach to proof theory of arithmetic
• scientific article; zbMATH DE number 4031678 (Why is no real title available?)
• Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
• scientific article; zbMATH DE number 1301820 (Why is no real title available?)
• scientific article; zbMATH DE number 713985 (Why is no real title available?)
• Extensions of arithmetic for proving termination of computations
• scientific article; zbMATH DE number 7614167 (Why is no real title available?)
• Ackermannian Goodstein principles for first order Peano arithmetic
• On the hereditary sum of digits function to base q
• Goodstein's theorem revisited
• Classifying phase transition thresholds for Goodstein sequences and hydra games
• Subsystems of true arithmetic and hierarchies of functions

This page was built for publication: Goodstein's function

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