The strength of sharply bounded induction
From MaRDI portal
Publication:3418091
DOI10.1002/malq.200610019zbMath1109.03067MaRDI QIDQ3418091
Publication date: 2 February 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610019
Related Items
On the finite axiomatizability of, The NP Search Problems of Frege and Extended Frege Proofs, Approximate counting in bounded arithmetic, Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\), The strength of sharply bounded induction requires MSP, Independence results for variants of sharply bounded induction, Alternating minima and maxima, Nash equilibria and bounded arithmetic, Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\), FRAGMENTS OF APPROXIMATE COUNTING, Collapsing modular counting in bounded arithmetic and constant depth propositional proofs, END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS, Approximate counting by hashing in bounded arithmetic, Abelian groups and quadratic residues in weak arithmetic
Cites Work