Quantitative continuous domains (Q1811032): Difference between revisions

In this paper the author relates two basic notions from what has come to be called quantitative domain theory: partial metrics and measurements. The author defines stable partial metrics and weakly modular measurements and shows that each gives rise to the other under dually inverse constructions. It is further shown that every \(\omega\)-algebraic domain admits a partial metric whose associated measurement takes the value \(0\) precisely on the maximal elements. A partial metric gives rise in a standard way to a metric and results containing the completeness of this metric are also obtained. The results are delineated and illustrated with a variety of examples and counterexamples.