Saturation and Σ2-transfer for ERNA

DOI10.2178/JSL/1245158090zbMATH Open1184.03071OpenAlexW2050587003MaRDI QIDQ3399183FDOQ3399183

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

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

zbMATH Keywords

transfer principlenonstandard analysisprimitive recursive arithmeticnonstandard methodssaturation principle

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dispensing with the continuum
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Transfer and a supremum principle for ERNA
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof

Cited In (4)

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

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)