The following pages link to (Q4364507):
Displaying 10 items.
- Parametrization over inductive relations of a bounded number of variables (Q917545) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- A note on parameter free Π<sub>1</sub> -induction and restricted exponentiation (Q3096079) (← links)
- Parameter-Free Universal Induction (Q3809800) (← links)
- On parameter free induction schemas (Q3834043) (← links)
- The role of parameters in bar rule and bar induction (Q3984445) (← links)
- On A Problem Concerning Parameter Free Induction (Q3990706) (← links)