Maximum Schemes in Arithmetic

DOI10.1002/MALQ.19940400312MaRDI QIDQ4304100zbMATH OpenOpenAlexFDO

Authors Alejandro Fernández Margarit, Mario J. Pérez-Jiménez

Publication date 5 October 1994

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

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

zbMATH Keywords

collection schemeinduction schememaximum principlePeano arithmeticproof-theoretic strength

Mathematics Subject Classification ID

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

Recommendations

• On Overspill Principles and Axiom Schemes for Bounded Formulas
• scientific article; zbMATH DE number 4083623
• scientific article; zbMATH DE number 2174388
• A note on the \(\Sigma_1\) collection scheme and fragments of bounded arithmetic

Cited in

(3)

• Overspill and fragments of arithmetic
• scientific article; zbMATH DE number 2174388 (Why is no real title available?)
• On Overspill Principles and Axiom Schemes for Bounded Formulas

This page was built for publication: Maximum Schemes in Arithmetic

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