Pages that link to "Item:Q2453069"
From MaRDI portal
The following pages link to Local induction and provably total computable functions (Q2453069):
Displaying 11 items.
- A simple proof of Parsons' theorem (Q558443) (← links)
- An interpretation of Shenoy and Shafer's axioms for local computation (Q911810) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- ON THE LOCAL-INDICABILITY COHEN–LYNDON THEOREM (Q3094648) (← links)
- Provably total functions of Basic Arithmetic (Q4808473) (← links)
- Computer Science Logic (Q5311268) (← links)
- On the Optimality of Conservation Results for Local Reflection in Arithmetic (Q5407039) (← links)
- Functions provably total in $I^{-}Σ_{n}$ (Q5899843) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)