Precompact apartness spaces (Q2895476)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Precompact apartness spaces |
scientific article; zbMATH DE number 6052252
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Precompact apartness spaces |
scientific article; zbMATH DE number 6052252 |
Statements
3 July 2012
0 references
constructive topology
0 references
apartness
0 references
uniformity
0 references
precompactness
0 references
Precompact apartness spaces (English)
0 references
0.8699982166290283
0 references
0.8587988018989563
0 references
0.8161552548408508
0 references
0.8148016333580017
0 references
0.8137813210487366
0 references
