The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem

Douglas S. Bridges, Hannes Diener. The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem. Journal of Symbolic Logic, 72(4):1379-1384, 2007. [doi]

Abstract

Abstract is missing.