On induction-free provability
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 4145897 (Why is no real title available?)
- scientific article; zbMATH DE number 3784875 (Why is no real title available?)
- Bounded arithmetic and the polynomial hierarchy
- Bounded arithmetic and truth definition
- Exponentiation and second-order bounded arithmetic
- On the scheme of induction for bounded arithmetic formulas
- Quantified propositional calculi and fragments of bounded arithmetic
Cited in
(15)- On parameter free induction schemas
- Fragments of bounded arithmetic and the lengths of proofs
- Simulating non-prenex cuts in quantified propositional calculus
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
- On A Problem Concerning Parameter Free Induction
- Lemmaless induction in trace logic
- On the proof-theoretic strength of monotone induction in explicit mathematics
- Examining Fragments of the Quantified Propositional Calculus
- Preservation theorems and restricted consistency statements in bounded arithmetic
- scientific article; zbMATH DE number 1088194 (Why is no real title available?)
- scientific article; zbMATH DE number 440485 (Why is no real title available?)
- Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem
- Restricted polynomial induction versus ordinary induction
- Parameter free induction and provably total computable functions
- Restricted polynomial induction versus parameter free ordinary induction
This page was built for publication: On induction-free provability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1353982)
