文章基本信息

标题：Constructive Equivalents of the Uniform Continuity Theorem
作者：Josef Berger
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2005
卷号：11
期号：12
页码：1878-1883
出版社：Graz University of Technology and Know-Center
摘要：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