Constructive Equivalents of the Uniform Continuity Theorem
Josef Berger · Zenodo (CERN European Organization for Nuclear Research) · 2020
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