A walk with Goodstein and Ackermann

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)

zbMATH Keywords

Ackermann functionGödel incompletenessGoodstein principles

Mathematics Subject Classification ID

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)