The way-below relation of function spaces over semantic domains

被引:30
作者
Erker, T
Escardo, MH
Keimel, K
机构
[1] TH Darmstadt, Fachbereich Math, D-64289 Darmstadt, Germany
[2] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2BZ, England
关键词
continuous posets; Scott domains; continuous lattices; function spaces; way-below relation;
D O I
10.1016/S0166-8641(97)00226-5
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
For partially ordered sets that are continuous in the sense of D.S. Scott, the way-below relation is crucial. It expresses the approximation of an ideal element by its finite parts. We present explicit characterizations of the way-below relation on spaces of continuous functions from topological spaces into continuous posets. Although it is well known in which cases these function spaces are continuous posets, such characterizations were lacking until now. (C) 1998 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:61 / 74
页数:14
相关论文
共 8 条
[1]  
Abramsky S., 1994, Handbook of Logic in Computer Science, V3, P1
[2]  
Hofmann K. H., 1980, A Compendium of Continuous Lattices
[3]  
Hofmann K. H., 1981, LECT NOTES MATH, V871, P209, DOI DOI 10.1007/BFB0089908
[4]   SPECTRAL THEORY OF DISTRIBUTIVE CONTINUOUS LATTICES [J].
HOFMANN, KH ;
LAWSON, JD .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1978, 246 (DEC) :285-310
[5]  
JONES C, 1989, LOGIC COMPUTER SCI, P186, DOI DOI 10.1109/LICS.1989.39173
[6]  
Jones Claire, 1990, Ph.D. Dissertation
[7]  
Scott D. S., 1972, LECT NOTES MATH, V274, P97, DOI DOI 10.1007/BFB0073967
[8]  
SMYTH MB, 1992, J LOND MATH SOC, V45, P321