Constructive equivalents of the uniform continuity theorem

被引：0

作者：

Berger, J ^{[1
]}

机构：

[1] Univ Munich, Inst Math, D-8000 Munich, Germany

来源：

JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2005年 / 11卷 / 12期

关键词：

constructive mathematics; reverse mathematics; uniform continuity;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：1878 / 1883

页数：6