An Effective Conservation Result for Nonstandard Arithmetic

DOI10.1002/(SICI)1521-3870(200001)46:1%3C17::AID-MALQ17%3E3.0.CO;2-8MaRDI QIDQ4939397zbMATH OpenOpenAlexFDO

Authors Erik Palmgren

Publication date 27 July 2000

Full work available at URL https://doi.org/10.1002/(sici)1521-3870(200001)46:1%3C17::aid-malq17%3E3.0.co;2-8

zbMATH Keywords

Peano arithmetictransfer principleproof-theoretic strengthend extensionelementary extensionnonstandard arithmeticbounded ultrapowers

Mathematics Subject Classification ID

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

Recommendations

• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• scientific article; zbMATH DE number 3875271
• Bounded Induction and Satisfaction Classes
• A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
• Toward the limits of the Tennenbaum phenomenon
• Injecting uniformities into Peano arithmetic
• Reflection algebras and conservation results for theories of iterated truth
• On interpretations of arithmetic and set theory
• An axiomatic approach to self-referential truth
• Simple axioms that are obviously true in \(\mathbb{N}\)

Cited in

(20)

• Nonstandard Arithmetic and Reverse Mathematics
• Nonstandard arithmetic and recursive comprehension
• Non-principal ultrafilters, program extraction and higher-order reverse mathematics
• scientific article; zbMATH DE number 3882428 (Why is no real title available?)
• A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
• A functional interpretation for nonstandard arithmetic
• scientific article; zbMATH DE number 4108762 (Why is no real title available?)
• Forcing in Proof Theory
• The strength of nonstandard methods in arithmetic
• scientific article; zbMATH DE number 1531213 (Why is no real title available?)
• scientific article; zbMATH DE number 4150341 (Why is no real title available?)
• scientific article; zbMATH DE number 3875271 (Why is no real title available?)
• scientific article; zbMATH DE number 2236625 (Why is no real title available?)
• On interpretations of bounded arithmetic and bounded set theory
• scientific article; zbMATH DE number 4053609 (Why is no real title available?)
• scientific article; zbMATH DE number 3941534 (Why is no real title available?)
• On the strength of PA with a non-principal ultrafilter quantifier
• scientific article; zbMATH DE number 4185776 (Why is no real title available?)
• Toward the limits of the Tennenbaum phenomenon
• Adding standardness to nonstandard arithmetic

This page was built for publication: An Effective Conservation Result for Nonstandard Arithmetic

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