An Effective Conservation Result for Nonstandard Arithmetic

DOI<17::AID-MALQ17>3.0.CO;2-8 10.1002/(SICI)1521-3870(200001)46:1<17::AID-MALQ17>3.0.CO;2-8zbMath0941.03068OpenAlexW2087529988MaRDI QIDQ4939397

Erik Palmgren

Publication date: 27 July 2000

Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200001)46:1<17::aid-malq17>3.0.co;2-8

zbMATH Keywords

Peano arithmeticproof-theoretic strengthend extensionelementary extensiontransfer principlenonstandard arithmeticbounded ultrapowers

Mathematics Subject Classification ID

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

Related Items (3)

NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS ⋮ A functional interpretation for nonstandard arithmetic ⋮ Forcing in Proof Theory

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