10.3969/j.issn.1000-4424.2014.03.014
Scott闭集格的C-代数性及其应用
引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件.
拟C-连续性、C-代数格、性质M、Scott拓扑、Sober空间
29
O153.1;O189.1(代数、数论、组合理论)
国家自然科学基金61103018, 61300153
2014-11-03(万方平台首次上网日期,不代表论文的发表时间)
共6页
369-374