Ackermannian Goodstein sequences of intermediate growth

DOI10.1007/978-3-030-51466-2_14OpenAlexW3037982154MaRDI QIDQ2106602

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)

Related Items (1)

Deducibility and independence in Beklemishev's autonomous provability calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• An ordinal analysis for theories of self-referential truth
• Ordinal Analysis and the Infinite Ramsey Theorem
• Accessible Independence Results for Peano Arithmetic
• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Predicatively unprovable termination of the Ackermannian Goodstein process
• ACKERMANNIAN GOODSTEIN PRINCIPLES FOR FIRST ORDER PEANO ARITHMETIC
• Ramsey’s theorem for 𝑛-dimensional arrays
• Transfinite ordinals in recursive number theory
• On the restricted ordinal theorem

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