论文标题
一步封闭,较弱的一步封闭并达到连续性
One-step closure, weak one-step closure and meet continuity
论文作者
论文摘要
本文研究了有关Scott封闭结构的弱的一步封闭和一步封闭特性。我们推断出每个准确的域都有弱的一步封闭,并表明一个准连续的poset不必一步一步封闭。我们还用一步封闭构建了一个非连续的poset,这给Zou等人带来了一个负面答案。
This paper studies the weak one-step closure and one-step closure properties concerning the structure of Scott closures. We deduce that every quasicontinuous domain has weak one-step closure and show that a quasicontinuous poset need not have weak one-step closure. We also constructed a non-continuous poset with one-step closure, which gives a negative answer to an open problem posed by Zou et al.. Finally, we investigate the relationship between weak one-step closure property and one-step closure property and prove that a poset has one-step closure if and only if it is meet continuous and has weak one-step closure.