ERNA and Friedman's Reverse Mathematics
From MaRDI portal
Publication:3011124
DOI10.2178/jsl/1305810768zbMath1231.03059OpenAlexW2112384787MaRDI QIDQ3011124
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
Second- and higher-order arithmetic and fragments (03F35) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)
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