Partial metric monoids and semivaluation spaces (Q818425): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q591079 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Hans-Peter A. Künzi / rank | |||
Normal rank |
Revision as of 02:52, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partial metric monoids and semivaluation spaces |
scientific article |
Statements
Partial metric monoids and semivaluation spaces (English)
0 references
20 March 2006
0 references
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.
0 references
partial metric monoid
0 references
quasi-metric
0 references
weightable
0 references
meet semilattice
0 references
semivaluation
0 references
interval domain
0 references
domain of words
0 references
dual complexity space
0 references