ERNA and Friedman's Reverse Mathematics

DOI10.2178/jsl/1305810768zbMath1231.03059MaRDI QIDQ3011124

Sam Sanders

Publication date: 28 June 2011

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

Full work available at URL: https://biblio.ugent.be/publication/898468

zbMATH Keywords

nonstandard analysis; reverse mathematics; transfer principle

Mathematics Subject Classification ID

03F35: Second- and higher-order arithmetic and fragments

03H05: Nonstandard models in mathematics

26E35: Nonstandard analysis

Related Items

Nonstandard second-order arithmetic and Riemann's mapping theorem, The Dirac delta function in two settings of reverse mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• More infinity for a better finitism
• Techniques of constructive analysis
• Complex analysis in subsystems of second order arithmetic
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
• Dispensing with the continuum
• Transfer and a supremum principle for ERNA
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Nonstandard Arithmetic and Reverse Mathematics