The Urysohn extension theorem for Bishop spaces (Q5283436)
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 6751246
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9283535480499268
0 references
0.8774248957633972
0 references
0.8675653338432312
0 references
0.8596068620681763
0 references
0.7717457413673401
0 references
