Saturation and Σ2-transfer for ERNA

DOI10.2178/jsl/1245158090zbMath1184.03071OpenAlexW2050587003MaRDI QIDQ3399183

Sam Sanders, Chris Impens

Publication date: 29 September 2009

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

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

zbMATH Keywords

nonstandard analysisprimitive recursive arithmetictransfer principlenonstandard methodssaturation principle

Mathematics Subject Classification ID

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

Related Items

More infinity for a better finitism ⋮ The Dirac delta function in two settings of reverse mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dispensing with the continuum
• Transfer and a supremum principle for ERNA
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof