Pages that link to "Item:Q5899843"
From MaRDI portal
The following pages link to Functions provably total in $I^{-}Σ_{n}$ (Q5899843):
Displaying 7 items.
- A simple proof of Parsons' theorem (Q558443) (← links)
- The contribution of Zygmunt Ratajczyk to the foundations of arithmetic (Q1913625) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Local induction and provably total computable functions (Q2453069) (← links)
- A combinatorial analysis of functions provably recursive in $ΙΣ_n$ (Q3808091) (← links)
- (Q5854676) (← links)
- Functions provably total in $I^{-}Σ_{n}$ (Q5904006) (← links)
