Ackermannian Goodstein sequences of intermediate growth

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

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

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

zbMATH Keywords

ordinal notation systemsindependence proofsGoodstein sequences

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

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)