Localic completion of generalized metric spaces. II: Powerlocales (Q3145945)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6116141
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Localic completion of generalized metric spaces. II: Powerlocales |
scientific article; zbMATH DE number 6116141 |
Statements
Localic completion of generalized metric spaces II: Powerlocales (English)
0 references
17 December 2012
0 references
locale
0 references
constructive
0 references
topos
0 references
metric
0 references
hyperspace
0 references
powerlocale
0 references
0.8147479295730591
0 references
0.8126575350761414
0 references
0.779319167137146
0 references
0.7745034098625183
0 references
