Continuous Prequantale Models of T1 Topological Semigroups

被引：0
|
作者：
Li, Hui [1 ]
Zhou, Xiangnan [1 ]
Li, Qingguo [1 ]
机构：
[1] Hunan Univ, Coll Math & Econometr, Changsha 410082, Hunan, Peoples R China
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2019年 / 345卷
基金：
中国国家自然科学基金;
关键词：
topological semigroup; prequantale; stable ordered semigroup; Scott topology; prequantale model;
D O I：
10.1016/j.entcs.2019.07.019
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, we show that every T-1 topological semigroup satisfying condition (Delta) can be embedded into a topological semigroup (D, sigma, Delta), where (D, subset of) is a domain. Furthermore, by considering the maximal point topological semigroup of a continuous prequantale, it is proven that every T-1 topological semigroup satisfying condition (Delta) has a continuous prequantale model, which may not be bounded complete.
引用
收藏
页码：99 / 111
页数：13
相关论文
共 4 条
1