On locally uniformly differentiable functions on a complete non-Archimedean ordered field extension of the real numbers (Q429074)

Summary: We study the properties of locally uniformly differentiable functions on \(\mathcal N\), a non-Archimedean field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In particular, we show that locally uniformly differentiable functions are \(C^1\), they include all polynomial functions, and they are closed under addition, multiplication, and composition. Then we formulate and prove a version of the inverse function theorem as well as a local intermediate value theorem for these functions.