Pages that link to "Item:Q5904006"
From MaRDI portal
The following pages link to Functions provably total in $I^{-}Σ_{n}$ (Q5904006):
Displaying 6 items.
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- A combinatorial analysis of functions provably recursive in $ΙΣ_n$ (Q3808091) (← links)
- Functions provably total in $I^{-}Σ_{n}$ (Q5899843) (← links)
