Implies Regulated: A Constructive Proof
Douglas Bridges and Ayan Mahalanobis
View Report [PDF - 124 KB]
Abstract
It is shown constructively that a strongly extensional function of bounded variation on an interval is regulated, in a sequential sense that is classically equivalent to the usual one.
Back to Research Reports
