Login / Signup

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

Douglas S. BridgesHannes Diener
Published in: J. Symb. Log. (2007)
Keyphrases