|
Constructive Equivalents of the Uniform Continuity Theorem
Josef Berger (Mathematisches Institut, Universität München, Germany)
Abstract: For the purpose of constructive reverse mathematics, we show the equivalence of the uniform continuity theorem to a series of propositions; this illuminates the relationship between Brouwer's fan theorem and the uniform continuity theorem
Keywords: constructive mathematics, reverse mathematics, uniform continuity
Categories: F.2.1, G.1.0
|