Pages that link to "Item:Q1182465"
From MaRDI portal
The following pages link to A slow growing analogue to Buchholz' proof (Q1182465):
Displayed 7 items.
- Proof-theoretic analysis of termination proofs (Q1899143) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Some interesting connections between the slow growing hierarchy and the Ackermann function (Q2747706) (← links)
- Variations on a theme by Weiermann (Q4227873) (← links)
- Accessible Recursive Functions (Q4940736) (← links)
- Induction and inductive definitions in fragments of second order arithmetic (Q5486242) (← links)