论文信息 - QFS-Domains and their Lawson Compactness

QFS-Domains and their Lawson Compactness

In this paper, concepts of quasi-finitely separating maps and quasi-approximate identities are introduced. Based on these concepts, QFS-domains and quasicontinuous maps are defined. Properties and characterizations of QFS-domains are explored. Main results are: (1) finite products, nonempty Scott closed subsets and quasicontinuous projection images of QFS-domains, as well as FS-domains, are all QFS-domains; (2) QFS-domains are compact in the Lawson topology; (3) An L-domain is a QFS-domain iff it is an FS-domain, iff it is compact in the Lawson topology; (4) Bounded complete quasicontinuous domains, in particular quasicontinuous lattices, are all QFS-domains.

Luoshan Xu | Gaolin Li

[1] Klaus Keimel,et al. Domains and Processes , 2001 .

[2] Reinhold Heckmann. Characterising FS domains by means of power domains , 2001, Theor. Comput. Sci..

[3] Luoshan Xu,et al. Quasicontinuity of Posets via Scott Topology and Sobrification , 2007, Order.

[4] Lawson compactness on function spaces of domains , 2010 .

[5] Jimmie D. Lawson,et al. Metric spaces and FS-domains , 2008, Theor. Comput. Sci..

[6] Compact continuous L-domains , 1999 .

[7] K. Hofmann,et al. Continuous Lattices and Domains , 2003 .

[8] The Lawson Topology on Quasicontinuous Domains , 2001 .

[9] A. Jung,et al. Cartesian closed categories of domains , 1989 .

[10] J. D. Lawson,et al. Generalized continuous and hypercontinuous lattices , 1981 .

[11] P. Venugopalan,et al. Quasicontinuous posets , 1990 .

[12] Achim Jung,et al. The classification of continuous domains , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[13] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.