Pages that link to "Item:Q3834043"
From MaRDI portal
The following pages link to On parameter free induction schemas (Q3834043):
Displaying 30 items.
- Diophantine induction (Q584258) (← links)
- Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas (Q701746) (← links)
- Parametrization over inductive relations of a bounded number of variables (Q917545) (← links)
- On two problems concerning end extensions (Q937209) (← links)
- Overspill and fragments of arithmetic (Q1123191) (← links)
- Bounded arithmetic for NC, ALogTIME, L and NL (Q1192345) (← 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)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Local reflection, definable elements and 1-provability (Q2204378) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- Local induction and provably total computable functions (Q2453069) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
- A note on parameter free Π<sub>1</sub> -induction and restricted exponentiation (Q3096079) (← links)
- Parameter-Free Universal Induction (Q3809800) (← links)
- The role of parameters in bar rule and bar induction (Q3984445) (← links)
- On A Problem Concerning Parameter Free Induction (Q3990706) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- (Q4364507) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- Fragments of Arithmetic and true sentences (Q4680381) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- Restricted polynomial induction versus parameter free ordinary induction (Q5066172) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604) (← links)
- On collection schemes and Gaifman's splitting theorem (Q6659526) (← links)
