On parameter free induction schemas
From MaRDI portal
Recommendations
- Parameter-Free Universal Induction
- On A Problem Concerning Parameter Free Induction
- On the induction schema for decidable predicates
- scientific article; zbMATH DE number 1088194
- scientific article; zbMATH DE number 2174388
- Parameter free induction and provably total computable functions
- On induction-free provability
- scientific article; zbMATH DE number 4039892
- scientific article; zbMATH DE number 4075046
- scientific article; zbMATH DE number 4035826
Cited in
(37)- Overspill and fragments of arithmetic
- Bounded arithmetic for NC, ALogTIME, L and NL
- Parameter free induction and provably total computable functions
- Unprovability results for clause set cycles
- Induction and Skolemization in saturation theorem proving
- End extensions of models of fragments of \(\mathrm{PA}\)
- Local reflection, definable elements and 1-provability
- Induction rules in bounded arithmetic
- The arithmetics of a theory
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
- Local induction and provably total computable functions
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
- A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation
- Conservation results for parameter-free _n-induction
- scientific article; zbMATH DE number 4035826 (Why is no real title available?)
- scientific article; zbMATH DE number 4039892 (Why is no real title available?)
- scientific article; zbMATH DE number 4072964 (Why is no real title available?)
- Parameter-Free Universal Induction
- scientific article; zbMATH DE number 4083623 (Why is no real title available?)
- The role of parameters in bar rule and bar induction
- On A Problem Concerning Parameter Free Induction
- 1998 European Summer Meeting of the Association for Symbolic Logic
- scientific article; zbMATH DE number 1088194 (Why is no real title available?)
- Proof theoretic analysis by iterated reflection
- Fragments of Arithmetic and true sentences
- scientific article; zbMATH DE number 2174388 (Why is no real title available?)
- A note on fragments of uniform reflection in second order arithmetic
- Restricted polynomial induction versus parameter free ordinary induction
- AXIOMATIZATION OF PROVABLE n-PROVABILITY
- Peano Corto and Peano Basso: a study of local induction in the context of weak theories
- Diophantine induction
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
- On collection schemes and Gaifman's splitting theorem
- Fragments of arithmetic and cyclic proofs
- Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
- Parametrization over inductive relations of a bounded number of variables
- On two problems concerning end extensions
This page was built for publication: On parameter free induction schemas
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3834043)
