ERNA and Friedman's Reverse Mathematics

DOI10.2178/JSL/1305810768zbMATH Open1231.03059OpenAlexW2112384787MaRDI QIDQ3011124FDOQ3011124

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

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

zbMATH Keywords

reverse mathematicstransfer principlenonstandard analysis

Mathematics Subject Classification ID

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

Cites Work

• Subsystems of second order arithmetic
• Title not available (Why is that?)
• Techniques of constructive analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nonstandard Arithmetic and Reverse Mathematics
• 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
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Transfer and a supremum principle for ERNA
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• More infinity for a better finitism
• Title not available (Why is that?)

Cited In (8)

• Chi-Tat Chong’s Work on Reverse Mathematics
• Saturation and Σ₂-transfer for ERNA
• Transfer and a supremum principle for ERNA
• Reverse-engineering reverse mathematics
• More infinity for a better finitism
• The Dirac delta function in two settings of reverse mathematics
• Nonstandard second-order arithmetic and Riemann's mapping theorem
• Some nonstandard equivalences in 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)