Ackermannian Goodstein sequences of intermediate growth

DOI10.1007/978-3-030-51466-2_14MaRDI QIDQ2106602zbMATH OpenOpenAlexFDO

Authors David Fernández-Duque, Andreas Weiermann

Publication date 16 December 2022

Full work available at URL https://doi.org/10.1007/978-3-030-51466-2_14

zbMATH Keywords

ordinal notation systemsindependence proofsGoodstein sequences

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Intermediate Goodstein Principles
• Predicatively unprovable termination of the Ackermannian Goodstein process
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
• Ackermann and Goodstein go functorial
• Ackermannian Goodstein principles for first order Peano arithmetic

Cites work

• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Accessible Independence Results for Peano Arithmetic
• Ackermannian Goodstein principles for first order Peano arithmetic
• An ordinal analysis for theories of self-referential truth
• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
• On the restricted ordinal theorem
• Ordinal analysis and the infinite Ramsey theorem
• Predicatively unprovable termination of the Ackermannian Goodstein process
• Proof theory. The first step into impredicativity
• Ramsey’s theorem for 𝑛-dimensional arrays
• Subsystems of second order arithmetic
• Transfinite ordinals in recursive number theory

Cited in

(2)

• Intermediate Goodstein Principles
• Deducibility and independence in Beklemishev's autonomous provability calculus

This page was built for publication: Ackermannian Goodstein sequences of intermediate growth

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