Reverse-engineering reverse mathematics (Q1944329)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reverse-engineering reverse mathematics |
scientific article |
Statements
Reverse-engineering reverse mathematics (English)
0 references
5 April 2013
0 references
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.
0 references
ERNA
0 references
nonstandard analysis
0 references
reverse mathematics
0 references