Partial metric monoids and semivaluation spaces (Q818425)

The authors discuss the importance of stable partial metric meet semilattices in quantitative domain theory. In particular they show that the interval domain, the domain of words and the dual complexity space can be modelled as stable partial metric monoids, where a stable partial metric monoid is a partial metric monoid \((X,\cdot,p)\) such that \((X,p)\) is a stable partial metric meet semilattice. They also introduce the notion of a semivaluation monoid and prove that there is a bijection between stable partial metric monoids and semivaluation monoids.