Characterizing Continuous dcpos by Liminf Convergence of Filters

来源 :数学研究通讯:英文版 | 被引量 : 0次 | 上传用户:kkkjnc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
如果并且仅当 L 上的 liminf 集中是拓扑的,它在这笔记被证明在一个温和假设下面, dcpo L 是连续的。
其他文献
目的探讨二甲双胍联合格列齐特治疗老年2型糖尿病的临床效果。方法选择64例老年2型糖尿病患者作为本次研究对象,32例为对照组,采用二甲双胍治疗,32例作为观察组,给予二甲双胍
目的对曲安奈德联合甲硝锉灌肠治疗溃疡性直肠炎的具体疗效进行观察与探讨。方法从2015年12月~2016年2月至我院诊治的溃疡性直肠炎患者中选出50例,采用随机数字表法将其均分为