ERNA and Friedman's Reverse Mathematics

DOI10.2178/JSL/1305810768MaRDI QIDQ3011124zbMATH OpenOpenAlexFDO

Authors Sam Sanders

Publication date 28 June 2011

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

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

zbMATH Keywords

nonstandard analysisreverse mathematicstransfer principle

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Recommendations

• Reverse-engineering reverse mathematics
• Transfer and a supremum principle for ERNA
• The Dirac delta function in two settings of reverse mathematics
• Saturation and Σ₂-transfer for ERNA
• Algorithm and proof as \(\Omega\)-invariance and transfer: a new model of computation in nonstandard analysis
• Reverse mathematics and parameter-free transfer
• More infinity for a better finitism
• Nonstandard second-order arithmetic and Riemann's mapping theorem
• A note on non-classical nonstandard arithmetic
• scientific article; zbMATH DE number 2236625

Cites work

• Complex analysis in subsystems of second order arithmetic
• Dispensing with the continuum
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• scientific article; zbMATH DE number 3933369 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 2236640 (Why is no real title available?)
• More infinity for a better finitism
• Nonstandard Arithmetic and Reverse Mathematics
• Subsystems of second order arithmetic
• Techniques of constructive analysis
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
• Transfer and a supremum principle for ERNA
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

Cited in

(10)

• Dispensing with the continuum
• Reverse mathematics and parameter-free transfer
• Some nonstandard equivalences in reverse mathematics
• Reverse-engineering reverse mathematics
• Saturation and Σ₂-transfer for ERNA
• Transfer and a supremum principle for ERNA
• Nonstandard second-order arithmetic and Riemann's mapping theorem
• Chi-Tat Chong’s Work on Reverse Mathematics
• More infinity for a better finitism
• The Dirac delta function in two settings of reverse mathematics

This page was built for publication: ERNA and Friedman's Reverse Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3011124)