Pages that link to "Item:Q701746"
From MaRDI portal
The following pages link to Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas (Q701746):
Displaying 5 items.
- A proof-theoretic analysis of collection (Q1267837) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- Local induction and provably total computable functions (Q2453069) (← links)
- A note on parameter free Π<sub>1</sub> -induction and restricted exponentiation (Q3096079) (← links)
- Fragments of Arithmetic and true sentences (Q4680381) (← links)