A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
A characterization of partial metrizability: domains are quantifiable
2003
Theoretical Computer Science
A characterization of partial metrizability is given which provides a partial solution to an open problem stated by Künzi in the survey paper Nonsymmetric Topology ([Kün93], problem 7 1 ). The characterization yields a powerful tool which establishes a correspondence between partial metrics and special types of valuations, referred to as Q-valuations (cf. also [Sch00] ). The notion of a Q-valuation essentially combines the well-known notion of a valuation with a weaker version of the notion of
doi:10.1016/s0304-3975(02)00705-3
fatcat:qeryzby3tjcflk2sll3e3apune