The Urysohn Extension Theorem for Bishop Spaces (Q5283436)
From MaRDI portal
scientific article; zbMATH DE number 6751246
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Urysohn Extension Theorem for Bishop Spaces |
scientific article; zbMATH DE number 6751246 |
Statements
The Urysohn Extension Theorem for Bishop Spaces (English)
0 references
21 July 2017
0 references
constructive topology
0 references
Bishop spaces
0 references
embeddings
0 references
Urysohn extension theorem
0 references
0 references
