The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem (Q5444707)
From MaRDI portal
scientific article; zbMATH DE number 5240882
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem |
scientific article; zbMATH DE number 5240882 |
Statements
The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem (English)
0 references
25 February 2008
0 references
constructive mathematics
0 references
