Independence results for variants of sharply bounded induction

DOI10.1016/j.apal.2011.06.003zbMath1230.03091OpenAlexW2021579914MaRDI 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 arithmeticopen inductionbounded arithmeticindependence resultssharply bounded formulasvery weak arithmeticsharply bounded induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Related Items (2)

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

This page was built for publication: Independence results for variants of sharply bounded induction