scientific article; zbMATH DE number 3880682

MaRDI QIDQ3346307zbMATH OpenFDO

Authors A. J. Wilkie, Jeff Paris

Publication date 1984

zbMATH Keywords

bounded formulasbounded inductionconsistencysubsystem of Peano arithmetic

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30)

Recommendations

• On the scheme of induction for bounded arithmetic formulas
• Restricted polynomial induction versus ordinary induction
• Unprovability of consistency statements in fragments of bounded arithmetic
• A Note on BΣ_n and an Intermediate Induction Schema
• Induction rules in bounded arithmetic

Cited in

(14)

• On the scheme of induction for bounded arithmetic formulas
• Induced subdivisions and bounded expansion
• Well-behaved principles alternative to bounded induction
• Unprovability of consistency statements in fragments of bounded arithmetic
• Algebraic combinatorics in bounded induction
• Induction rules in bounded arithmetic
• scientific article; zbMATH DE number 727438 (Why is no real title available?)
• scientific article; zbMATH DE number 1506789 (Why is no real title available?)
• Restricted polynomial induction versus ordinary induction
• Consistency proof of a fragment of PV with substitution in bounded arithmetic
• scientific article; zbMATH DE number 871422 (Why is no real title available?)
• Restricted polynomial induction versus parameter free ordinary induction
• Induced bounded remainder sets
• The strength of sharply bounded induction requires MSP

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3346307)