The way-below relation of function spaces over semantic domains
The way-below relation of function spaces over semantic domains
复制标题
DOI：
10.1016/s0166-8641(97)00226-5
复制
发表时间：
1998-11
影响因子：
0.6
通讯作者：
T. Erker;M. Escardó;K. Keimel
中科院分区：
文献类型：
--
作者：
T. Erker;M. Escardó;K. Keimel
对于D.S. Scott意义上的连续的部分有序集，下路关系是至关重要的。它表达了一个理想元素的有限部分的近似。给出了连续函数空间上从拓扑空间到连续序集的下路关系的显式刻画。虽然众所周知，在某些情况下，这些函数空间是连续的偏置集，但直到现在还缺乏这样的表征。
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.