The paper is a contribution to quantifiability of domains. We show that every domain X, regardless of cardinality conditions for a domain bases, is quantifiable in the sense that there exists an approach structure on X, defined by means of a gauge of quasi metrics, inducing the Scott topology. We get weightability for free and in the case of an algebraic domain satisfying the Lawson condition, a quantifying approach space can be obtained with a weight satisfying the kernel condition.
|Number of pages||11|
|Journal||Topology and its Applications|
|Issue number||doi 10.1016/j.topol.2011.01.025|
|Publication status||Published - 2011|
- domain, continuous dcpo, weightable quasi metric,