A point-free characterisation of Bishop locally compact metric spaces (Q2987776)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A point-free characterisation of Bishop locally compact metric spaces |
scientific article |
Statements
A point-free characterisation of Bishop locally compact metric spaces (English)
0 references
18 May 2017
0 references
formal topologies
0 references
locally compact metric cpaces
0 references
Bishop constructive mathematics
0 references
