Increasing, Nondecreasing, and Virtually Continuous Functions
Douglas Bridges, Ayan Mahalanobis · Universitätsbibliothek Gießen · 2001
Increasing and nondecreasing functions, defined on dense subsets of an interval, are examined constructively -- that is, using intuitionistic logic. It is shown how the domain of an increasing function can be extended to include all points at which the function is virtually continuous.