1 research outputs found
The Regular Spaces With Countably Based Models
The regular spaces which may be realized as the set of maximal elements in an !-continuous dcpo are the Polish spaces. In addition, we give a new and conceptually simple model for complete metric spaces. These results enabl