Pages that link to "Item:Q3682477"

The following pages link to The slow-growing and the Graegorczyk hierarchies (Q3682477):

Displaying 13 items.

• Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal (Q408160) (← links)
• Term rewriting theory for the primitive recursive functions (Q674412) (← links)
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
• Equational derivation vs. computation (Q1338198) (← links)
• Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
• The intrinsic difficulty of recursive functions (Q1919986) (← links)
• Proof theory and ordinal analysis (Q2276954) (← links)
• Finite presentability of strongly finite dilators (Q2729624) (← links)
• Some interesting connections between the slow growing hierarchy and the Ackermann function (Q2747706) (← links)
• Slow growing versus fast growing (Q3478403) (← links)
• Natural well-orderings (Q3772212) (← links)
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
• A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems (Q5881273) (← links)