On Overspill Principles and Axiom Schemes for Bounded Formulas

DOI10.1002/MALQ.19960420129MaRDI QIDQ4888345zbMATH OpenOpenAlexWikidataFDO

Authors Joaquín Borrego-Díaz, Alejandro Fernández Margarit, Mario J. Pérez-Jiménez

Publication date 24 February 1997

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19960420129

zbMATH Keywords

bounded arithmeticinduction axiomsoverspill principlePeano Arithmeticstrength of axiom schemes for fragments of arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Overspill and fragments of arithmetic
• A note on the \(\Sigma_1\) collection scheme and fragments of bounded arithmetic
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• Maximum Schemes in Arithmetic
• A Note on BΣ_n and an Intermediate Induction Schema

Cited in

(5)

• Overspill and fragments of arithmetic
• Algebraic combinatorics in bounded induction
• Maximum Schemes in Arithmetic
• Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09

This page was built for publication: On Overspill Principles and Axiom Schemes for Bounded Formulas

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