For compact metric spaces, plenty of subtly different definitions converge to the same concept. Overtness can be viewed a a property dual to compactness. So is there a similar story for overt metric spaces?
Are there more equivalent definitions of overtness for metric spaces?
saolof
- 1.9k
- 6
- 19