Ackermannian Goodstein principles for first order Peano arithmetic

DOI10.1142/9789813223523_0007MaRDI QIDQ5137319zbMATH OpenOpenAlexFDO

Authors Andreas Weiermann

Publication date 2 December 2020

Published in Sets and Computations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789813223523_0007

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Predicatively unprovable termination of the Ackermannian Goodstein process
• Transfinite induction within Peano arithmetic
• Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
• scientific article; zbMATH DE number 1215495
• Goodstein's function

Cited in

(7)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Ackermannian Goodstein sequences of intermediate growth
• Ackermann and Goodstein go functorial
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
• Predicatively unprovable termination of the Ackermannian Goodstein process
• Intermediate Goodstein Principles
• A walk with Goodstein and Ackermann

This page was built for publication: Ackermannian Goodstein principles for first order Peano arithmetic

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