Saturation and Σ2-transfer for ERNA

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

Chris Impens, Sam Sanders

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)

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 (3)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• ERNA and Friedman's Reverse Mathematics 👍 👎
• Non‐standard Analysis in WKL₀ 👍 👎
• Dispensing with the continuum 👍 👎
• Transfer and a supremum principle for ERNA 👍 👎
• More infinity for a better finitism 👍 👎
• The Dirac delta function in two settings of reverse mathematics 👍 👎
• A functional interpretation for nonstandard arithmetic 👍 👎
• Reverse-engineering reverse mathematics 👍 👎
• Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis 👍 👎

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)