http://logicandanalysis.org/index.php/jla/article/viewFile/114/41
Diener, Loeb · Journal of Logic and Analysis · 2011
We study Picard's Theorem and Peano's Theorem from a constructive reverse perspective.This means that we have to change our focus from global properties to local properties.We also extend the theory of pointwise continuously differentiable functions to include Rolle's Theorem, the Mean Value Theorem, and the full Fundamental Theorem of Calculus.