共 50 条
- [3] A constructive uniform continuity theorem [J]. QUARTERLY JOURNAL OF MATHEMATICS, 2002, 53 : 185 - 193
- [4] The logical strength of the uniform continuity theorem [J]. LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, 2006, 3988 : 35 - 39
- [7] Factoring out intuitionistic theorems: Continuity principles and the uniform continuity theorem [J]. LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 379 - 388
- [8] Weak Konig's Lemma Implies the Uniform Continuity Theorem [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2013, 2 (01): : 9 - 13
- [9] THE VITALI INTEGRAL-CONVERGENCE THEOREM AND UNIFORM ABSOLUTE CONTINUITY [J]. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1991, 43 (05): : 939 - 947