The following pages link to (Q3773880):
Displaying 22 items.
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- A slow growing analogue to Buchholz' proof (Q1182465) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Fast growing functions based on Ramsey theorems (Q1191932) (← links)
- Ordinal complexity of recursive definitions (Q1193596) (← links)
- Functoroids and ptykoids (Q1345902) (← links)
- Sometimes slow growing is fast growing (Q1377604) (← links)
- A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. (Q1399971) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Short proofs for slow consistency (Q2176406) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Notation systems for infinitary derivations (Q2277451) (← links)
- Herbrand analyses (Q2641297) (← links)
- Ordinal numbers and the Hilbert basis theorem (Q3809796) (← links)
- An Unprovable Ramsey-Type Theorem (Q4031465) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- (Q5101339) (← links)
- Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418) (← links)
- A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems (Q5881273) (← links)
- A WALK WITH GOODSTEIN (Q6204143) (← links)
