Bi-continuous Valuations

Klaus Keimel
1998 Electronical Notes in Theoretical Computer Science  
In a recent paper Partial Metrics and Co-continuous Valuations, M. A. Bukatin and S. Yu. Shorina consider valuations on topological spaces that are continuous, co-continuous and strongly non-degenerate 2]. They use these valuations in order to construct pseudo-metrics that are Scott continuous. The notions mentioned above mean the following: Let X be a topological space and O the collection of all open subsets of X considered as a complete lattice under the inclusion ordering. A valuation on
doi:10.1016/s1571-0661(05)80218-x fatcat:ji4dzwpusvbdng35vde44i2g6y