Independence results for variants of sharply bounded induction

DOI10.1016/j.apal.2011.06.003zbMath1230.03091MaRDI QIDQ716498

Leszek Aleksander Kołodziejczyk

Publication date: 22 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.06.003

zbMATH Keywords

Peano arithmetic; open induction; bounded arithmetic; independence results; sharply bounded formulas; very weak arithmetic; sharply bounded induction

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03H15: Nonstandard models of arithmetic

Related Items

Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics, Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The strength of sharply bounded induction requires MSP
• Bootstrapping. I
• Building discretely ordered Bezout domains and GCD domains
• Primes and their residue rings in models of open induction
• Circuits in bounded arithmetic. I
• Multifunction algebras and the provability of \(PH\downarrow\)
• A recursive nonstandard model of normal open induction
• The strength of sharply bounded induction
• Open induction and the true theory of rationals
• Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring?
• Provability of the pigeonhole principle and the existence of infinitely many primes
• A Remark on Independence Results for Sharply Bounded Arithmetic
• Model Theory
• Natural proofs