The logical strength of the uniform continuity theorem

被引：29
|
作者：
Berger, Josef [1 ]
机构：
[1] Univ Canterbury, Dept Math & Stat, Christchurch 1, New Zealand
来源：
LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS | 2006年 / 3988卷
关键词：
constructive reverse mathematics; uniform continuity theorem;
D O I：
10.1007/11780342_4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce a notion of complexity for sets of finite binary sequences such that the corresponding fan theorem is constructively equivalent to the uniform continuity theorem. This settles an open question.
引用
收藏
页码：35 / 39
页数：5
相关论文
共 50 条
12345