Continuity of monotone functions (Q792477)

The author has obtained the following results for real functions on the closed unit interval in the style of \textit{E. A. Bishop's} ''Foundations of constructive analysis'' (1967): (Theorem 1) For nondecreasing f the following are equivalent, pointwise continuity, uniform continuity, f is antidecreasing \((f(x)<f(y)\to x<y)\) and approximates intermediate values. The proof uses an unpublished result by Mines and Richman that pointwise continuous functions approximate intermediate values; (Theorem 3) For increasing functions the existence of an inverse, the attaining of intermediate values, the approximation of intermediate values are equivalent. The proof uses the further result (Theorem 2) that increasing functions f have totally bounded sections \(X_{\alpha}=\{x:\quad f(x)\leq \alpha \}\) for all \(\alpha \geq f(0).\) Furthermore (Theorem 4) increasing pointwise continuous functions have increasing uniformly increasing inverses.