Intermediate values and inverse functions on non-Archimedean fields (Q1608167)

Summary: Continuity or even differentiability of a function on a closed interval of a non-Archimedean field are not sufficient for the function to assume all the intermediate values, a maximum, a minimum, or a unique primitive function on the interval. These problems are due to the total disconnectedness of the field in the order topology. In this paper, we show that differentiability (in the topological sense), together with some additional mild conditions, is indeed sufficient to guarantee that the function assumes all intermediate values and has a differentiable inverse function.