Title of article :
Intrinsic approach spaces on domains
Author/Authors :
Colebunders، نويسنده , , E. and De Wachter، نويسنده , , S. and Lowen، نويسنده , , B.، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 2011
Abstract :
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 (Lowen (1997) [9]), 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 (Lawson (1997) [8]), a quantifying approach space can be obtained with a weight satisfying the kernel condition.
Keywords :
Approach space , Kernel condition , Domain , Weightable quasi metric , Continuous DCPO , Quantification , Scott topology
Journal title :
Topology and its Applications
Journal title :
Topology and its Applications