Similar Items: Every metric space is separable in function realizability
- Approximation systems for functions in topological and in metric spaces
- Extending set functors to generalised metric spaces
- Effective zero-dimensionality for computable metric spaces
- Computational Models of Certain Hyperspaces of Quasi-metric Spaces
- Realizable Bayes-Consistency for General Metric Losses
- Co-c.e. spheres and cells in computable metric spaces