The following pages link to (Q5821428):
Displaying 7 items.
- Nested recursion (Q1131248) (← links)
- A Theorem on General Recursive Functions (Q3269134) (← links)
- Proof of a Conjecture of Routledge (Q3275828) (← links)
- Classifications of Recursive Functions by Means of Hierarchies (Q3291527) (← links)
- Reducing Ordinal Recursion (Q4077998) (← links)
- Recursive Functions Defined by Ordinal Recursions (Q5618351) (← links)
- A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems (Q5881273) (← links)
