A walk with Goodstein and Ackermann
From MaRDI portal
Publication:6589313
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)