Strong Continuity Implies Uniform Sequential Continuity
Douglas Bridges, Hajime Ishihara, Peter Schuster and Luminita Vîta
View Report [PDF - 204 KB]
Abstract
Uniform sequential continuity, a property classically equivalent to uniform continuity on compact sets, is shown, constructively, to be a consequence of strong continuity on a metric space. It is then shown that in the case of a separable metric space, in order to omit the word sequential from this result, it is necessary and sufficient to adopt a principle (BD-N) that is independent of Heyting arithmetic.
Back to Research Reports