Title of article
Intrinsic approach spaces on domains
Author/Authors
Colebunders، نويسنده , , E. and De Wachter، نويسنده , , S. and Lowen، نويسنده , , B.، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 2011
Pages
13
From page
2343
To page
2355
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
Serial Year
2011
Journal title
Topology and its Applications
Record number
1583092
Link To Document