期刊文献+

Scott闭集格的C-代数性及其应用 被引量:5

C-algebraicity of Scott-closed lattices and its applications
下载PDF
导出
摘要 引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件. The concept of quasi C-continuity for posets is introduced. In terms of quasi C- continuity, it is proved that quasi-continuity of a dcpo is equivalent to the quasi-continuity of its Scott-closed lattice. It is obtained that the Scott-closed lattice of a dcpo satisfying the property M is C-algebraic. A new sufficient condition is given for the isomorphism of two dcpos with isomorphic Scott-closed lattices.
出处 《高校应用数学学报(A辑)》 CSCD 北大核心 2014年第3期369-374,共6页 Applied Mathematics A Journal of Chinese Universities(Ser.A)
基金 国家自然科学基金(61103018 61300153)
关键词 拟C-连续性 C-代数格 性质M SCOTT拓扑 Sober quasi C-continuity C-algebraic lattice property M Scott topology Sober space
  • 相关文献

参考文献1

二级参考文献1

共引文献11

同被引文献9

引证文献5

二级引证文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部