Parameter free induction and reflection
From MaRDI portal
Recommendations
- Parameter-Free Universal Induction
- scientific article; zbMATH DE number 4039892
- On A Problem Concerning Parameter Free Induction
- On parameter free induction schemas
- Parameter free induction and provably total computable functions
- Restricted polynomial induction versus parameter free ordinary induction
- Reflective inductive inference of recursive functions
- scientific article; zbMATH DE number 1966617
- Induction rules, reflection principles, and provably recursive functions
- On induction-free provability
Cited in
(14)- Induction rules, reflection principles, and provably recursive functions
- Parameter free induction and provably total computable functions
- Unprovability results for clause set cycles
- Induction and Skolemization in saturation theorem proving
- A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation
- Conservation results for parameter-free _n-induction
- scientific article; zbMATH DE number 3948262 (Why is no real title available?)
- scientific article; zbMATH DE number 4039892 (Why is no real title available?)
- Parameter-Free Universal Induction
- On parameter free induction schemas
- The role of parameters in bar rule and bar induction
- On A Problem Concerning Parameter Free Induction
- scientific article; zbMATH DE number 2174388 (Why is no real title available?)
- Parametrization over inductive relations of a bounded number of variables
This page was built for publication: Parameter free induction and reflection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364507)
