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 条
  • [1] The fan theorem and uniform continuity
    Berger, J
    [J]. NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 18 - 22
  • [2] A constructive uniform continuity theorem
    Ishihara, H
    Schuster, P
    [J]. QUARTERLY JOURNAL OF MATHEMATICS, 2002, 53 : 185 - 193
  • [3] Constructive equivalents of the uniform continuity theorem
    Berger, J
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (12) : 1878 - 1883
  • [4] Decidable fan theorem and uniform continuity theorem with continuous moduli
    Fujiwara, Makoto
    Kawai, Tatsuji
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2021, 67 (01) : 116 - 130
  • [5] Factoring out intuitionistic theorems: Continuity principles and the uniform continuity theorem
    Loeb, Iris
    [J]. LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 379 - 388
  • [6] THE LOGICAL STRENGTH OF BUCHI'S DECIDABILITY THEOREM
    Kolodziejczyk, Leszek
    Michalewski, Henryk
    Pradic, Pierre
    Skrzypczak, Michal
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (02) : 16:1 - 16:31
  • [7] Uniform Logical New Proofs for the Daniell–Stone Theorem and the Riesz Representation Theorem
    Alireza Mofidi
    [J]. Bulletin of the Iranian Mathematical Society, 2022, 48 : 2699 - 2723
  • [8] Uniform Logical New Proofs for the Daniell-Stone Theorem and the Riesz Representation Theorem
    Mofidi, Alireza
    [J]. BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, 2022, 48 (05) : 2699 - 2723
  • [9] On the Versatility of Open Logical Relations Continuity, Automatic Differentiation, and a Containment Theorem
    Barthe, Gilles
    Crubille, Raphaelle
    Dal Lago, Ugo
    Gavazzo, Francesco
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 56 - 83
  • [10] Weak Konig's Lemma Implies the Uniform Continuity Theorem
    Diener, Hannes
    [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2013, 2 (01): : 9 - 13
12345