A walk with Goodstein and Ackermann

DOI10.1215/00294527-2024-0016MaRDI QIDQ6589313zbMATH OpenFDO

Authors David Fernández-Duque, Andreas Weiermann

Publication date 19 August 2024

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

Ackermann functionGödel incompletenessGoodstein principles

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites work

• scientific article; zbMATH DE number 1215495 (Why is no real title available?)
• A Uniform Approach to Fundamental Sequences and Hierarchies
• A WALK WITH GOODSTEIN
• Accessible Independence Results for Peano Arithmetic
• Ackermannian Goodstein principles for first order Peano arithmetic
• Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
• Generalized fusible numbers and their ordinals
• Intermediate Goodstein Principles
• On the restricted ordinal theorem
• Predicatively unprovable termination of the Ackermannian Goodstein process
• Proof theory. The first step into impredicativity
• Subsystems of second order arithmetic
• Systems of predicative analysis

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)