Pages that link to "Item:Q4879900"
From MaRDI portal
The following pages link to How to characterize provably total functions by local predicativity (Q4879900):
Displayed 3 items.
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- Classifying the Provably Total Functions of PA (Q3430936) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)