The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem (Q5444707): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2017384344 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Equivalents of the (weak) fan theorem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Techniques of constructive analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Some Notes on Continuity in Constructive Analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3803111 / rank | |||
Normal rank | |||
Latest revision as of 16:57, 27 June 2024
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
