Scott闭集格的C-代数性及其应用

C-algebraicity of Scott-closed lattices and its applications

引入了拟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.