Every metric space is separable in function realizability (Q5377467)
From MaRDI portal
scientific article; zbMATH DE number 7058773
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Every metric space is separable in function realizability |
scientific article; zbMATH DE number 7058773 |
Statements
24 May 2019
0 references
constructive mathematics
0 references
function realizability
0 references
metric spaces
0 references
synthetic topology
0 references
math.LO
0 references
cs.LO
0 references
