Reverse-engineering reverse mathematics (Q1944329)

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.