Pages that link to "Item:Q3096079"
From MaRDI portal
The following pages link to A note on parameter free Π<sub>1</sub> -induction and restricted exponentiation (Q3096079):
Displaying 4 items.
- Unprovability results for clause set cycles (Q2084942) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
