Pages that link to "Item:Q4323837"
From MaRDI portal
The following pages link to On Σ<sub>1</sub>‐definable Functions Provably Total in I ∏ (Q4323837):
Displayed 4 items.
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- A note on parameter free Π<sub>1</sub> -induction and restricted exponentiation (Q3096079) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)