Pages that link to "Item:Q3430936"
From MaRDI portal
The following pages link to Classifying the Provably Total Functions of PA (Q3430936):
Displaying 8 items.
- Phase transitions of iterated Higman-style well-partial-orderings (Q661281) (← links)
- A note on da Costa-Doria ``exotic formalizations'' (Q711567) (← links)
- Phase transitions for Gödel incompleteness (Q1006619) (← links)
- Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension (Q2845566) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418) (← links)
- A WALK WITH GOODSTEIN (Q6204143) (← links)
