Pages that link to "Item:Q4879900"
From MaRDI portal
The following pages link to How to characterize provably total functions by local predicativity (Q4879900):
Displaying 10 items.
- A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems (Q1300010) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- (Q3138829) (← 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)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Normal forms for elementary patterns (Q5388725) (← links)
