JUCS - Journal of Universal Computer Science 11(12): 1878-1883, doi: 10.3217/jucs-011-12-1878
Constructive Equivalents of the Uniform Continuity Theorem
expand article infoJosef Berger‡
‡ Mathematisches Institut, Universität München, Germany

Corresponding author: Josef Berger ( josef.berger@mathematik.uni-muenchen.de )

© Josef Berger.
This article is freely available under the J.UCS Open Content License.
Citation: Berger J (2005) Constructive Equivalents of the Uniform Continuity Theorem. JUCS - Journal of Universal Computer Science 11(12): 1878-1883. https://doi.org/10.3217/jucs-011-12-1878
Open Access
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