Saturation and Σ2-transfer for ERNA

DOI10.2178/JSL/1245158090MaRDI QIDQ3399183zbMATH OpenOpenAlexFDO

Authors Sam Sanders, Chris Impens

Publication date 29 September 2009

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1245158090

zbMATH Keywords

transfer principlenonstandard analysisprimitive recursive arithmeticnonstandard methodssaturation principle

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models in mathematics (03H05)

Recommendations

• Transfer and a supremum principle for ERNA
• More infinity for a better finitism
• ERNA and Friedman's Reverse Mathematics
• scientific article; zbMATH DE number 2236625
• Reverse-engineering reverse mathematics
• Non‐standard Analysis in WKL₀
• The Dirac delta function in two settings of reverse mathematics
• A functional interpretation for nonstandard arithmetic
• Algorithm and proof as \(\Omega\)-invariance and transfer: a new model of computation in nonstandard analysis
• Dispensing with the continuum

Cites work

• scientific article; zbMATH DE number 3525429 (Why is no real title available?)
• scientific article; zbMATH DE number 2106998 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• Dispensing with the continuum
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Transfer and a supremum principle for ERNA

Cited in

(4)

• The Dirac delta function in two settings of reverse mathematics
• ERNA and Friedman's Reverse Mathematics
• More infinity for a better finitism
• Transfer and a supremum principle for ERNA

This page was built for publication: Saturation and Σ₂-transfer for ERNA

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