Lawson-Mislove问题的一个必要条件
Journal of Hunan University of Arts and Science(Natural Science Edition)（2021）
摘要
借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域Dcpo是Scott吸收的.结果表明,Scott吸收性是Lawson-Mislove问题的一个必要性刻画.
更多AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要