We establish interrelationships between Cauchy completeness, McAuley's notions of strong and weak completeness, and Moore completeness in semimetrizable spaces as well as developable, 1-continuously, or continuously semimetrizable spaces.Our main result shows that a semimetrizable space may admit one semimetric which is Cauchy complete and a second semimetric which is developable, and yet will not admit a semimetric which is simultaneously Cauchy complete and developable.
No takes yet. Share an insight, caveat, or question.
Galvin et al. (1984) studied this question.