An Effective Conservation Result for Nonstandard Arithmetic

DOI10.1002/(SICI)1521-3870(200001)46:1%3C17::AID-MALQ17%3E3.0.CO;2-8zbMATH Open0941.03068OpenAlexW2087529988MaRDI QIDQ4939397FDOQ4939397

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

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}\)

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)

Cited In (20)

• Nonstandard arithmetic and recursive comprehension
• Non-principal ultrafilters, program extraction and higher-order reverse mathematics
• Title not available (Why is that?)
• A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
• A functional interpretation for nonstandard arithmetic
• Title not available (Why is that?)
• Forcing in Proof Theory
• The strength of nonstandard methods in arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On interpretations of bounded arithmetic and bounded set theory
• Title not available (Why is that?)
• On the strength of PA with a non-principal ultrafilter quantifier
• Title not available (Why is that?)
• Adding standardness to nonstandard arithmetic
• Toward the limits of the Tennenbaum phenomenon
• Nonstandard Arithmetic and Reverse Mathematics

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)