Constructive equivalents of the uniform continuity theorem
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.
uniform continuity reverse mathematics constructive mathematics