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 条
  • [31] Logical errors on proving theorem
    Sari, C. K.
    Waluyo, M.
    Ainur, C. M.
    Darmaningsih, E. N.
    [J]. 1ST INTERNATIONAL CONFERENCE OF EDUCATION ON SCIENCES, TECHNOLOGY, ENGINEERING, AND MATHEMATICS (ICE-STEM), 2018, 948
  • [32] UNIFORM CONTINUITY IN SEQUENTIALLY UNIFORM-SPACES
    DICONCILIO, A
    NAIMPALLY, SA
    [J]. ACTA MATHEMATICA HUNGARICA, 1993, 61 (1-2) : 17 - 19
  • [33] UNIFORM CONTINUITY OF CONTINUOUS FUNCTIONS ON UNIFORM SPACES
    ATSUJI, M
    [J]. CANADIAN JOURNAL OF MATHEMATICS, 1961, 13 (04): : 657 - &
  • [34] On Logical and Scientific Strength
    Incurvati, Luca
    Nicolai, Carlo
    [J]. ERKENNTNIS, 2024,
  • [35] GLOBAL CHARACTERIZATION OF UNIFORM CONTINUITY
    CLEVELAN.R
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1973, 80 (01): : 64 - 66
  • [36] ON THE UNIFORM CONTINUITY OF TIETZE EXTENSIONS
    MANDELKERN, M
    [J]. ARCHIV DER MATHEMATIK, 1990, 55 (04) : 387 - 388
  • [37] A PICTORIAL PROOF OF UNIFORM CONTINUITY
    BLOOM, DM
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1989, 96 (03): : 250 - 251
  • [38] Characterization of absolute and uniform continuity
    Aslan, Ismail
    Duman, Oktay
    [J]. HACETTEPE JOURNAL OF MATHEMATICS AND STATISTICS, 2020, 49 (05): : 1550 - 1565
  • [39] On uniform continuity of posterior distributions
    Dolera, Emanuele
    Mainini, Edoardo
    [J]. STATISTICS & PROBABILITY LETTERS, 2020, 157
  • [40] TOPOLOGICAL GROUPS AND UNIFORM CONTINUITY
    ALAS, OT
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (02): : 431 - &
12345