Pages that link to "Item:Q5113418"
From MaRDI portal
The following pages link to Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418):
Displaying 5 items.
- Ackermannian Goodstein sequences of intermediate growth (Q2106602) (← links)
- Ackermann and Goodstein go functorial (Q2234350) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- A WALK WITH GOODSTEIN (Q6204143) (← links)
- A walk with Goodstein and Ackermann (Q6589313) (← links)
