A walk with Goodstein and Ackermann
From MaRDI portal
Publication:6589313
DOI10.1215/00294527-2024-0016MaRDI QIDQ6589313
David Fernández-Duque, Andreas Weiermann
Publication date: 19 August 2024
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Recursive functions and relations, subrecursive hierarchies (03D20) Gödel numberings and issues of incompleteness (03F40)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations
- Proof theory. The first step into impredicativity
- Accessible Independence Results for Peano Arithmetic
- A Uniform Approach to Fundamental Sequences and Hierarchies
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
- Predicatively unprovable termination of the Ackermannian Goodstein process
- ACKERMANNIAN GOODSTEIN PRINCIPLES FOR FIRST ORDER PEANO ARITHMETIC
- Systems of predicative analysis
- On the restricted ordinal theorem
- Generalized fusible numbers and their ordinals
- Intermediate Goodstein Principles
- A WALK WITH GOODSTEIN
This page was built for publication: A walk with Goodstein and Ackermann
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6589313)