Reverse-engineering reverse mathematics

DOI10.1016/J.APAL.2012.11.006MaRDI QIDQ1944329zbMATH OpenOpenAlexFDO

Authors Sam Sanders

Publication date 5 April 2013

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2012.11.006

zbMATH Keywords

ERNAnonstandard analysisreverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Constructive and recursive analysis (03F60) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Review text

This paper is a continuation of the work of the author [J. Symb. Log. 76, No. 2, 637--664 (2011; Zbl 1231.03059)] on Friedman-style reverse mathematics over the weak theory of nonstandard analysis ERNA introduced by \textit{R. Sommer} and \textit{P. Suppes} [``Finite models of elementary recursive nonstandard analysis, Not. Soc. Mah. Chile 15, 73--95 (1996)]. As in the earlier paper, the author shows that certain mathematical statements equivalent to \(\mathrm{WKL}_0\) in the standard framework of reverse mathematics are equivalent to the \(\Pi_1\)-transfer principle over ERNA after a suitable modification (weakening equality to infinitesimal proximity). Specifically, this is proved for versions of the intermediate value theorem, the mean value theorem, and the integral mean value theorem.

Recommendations

• ERNA and Friedman's Reverse Mathematics
• Standard and non-standard analysis in second order arithmetic
• The Dirac delta function in two settings of reverse mathematics
• Some nonstandard equivalences in reverse mathematics
• Reverse mathematics and its meaning

Cited in

(10)

• Reverse mathematics and parameter-free transfer
• Some nonstandard equivalences in reverse mathematics
• The mean value theorem in second order arithmetic
• ERNA and Friedman's Reverse Mathematics
• Standard and non-standard analysis in second order arithmetic
• Saturation and Σ₂-transfer for ERNA
• scientific article; zbMATH DE number 2236640 (Why is no real title available?)
• scientific article; zbMATH DE number 2236647 (Why is no real title available?)
• More infinity for a better finitism
• The Dirac delta function in two settings of reverse mathematics

This page was built for publication: Reverse-engineering reverse mathematics

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