加载中…
Let be the frame of opens of a -space . We prove that if is sober and , then the double negation nucleus on is Scott continuous iff is discrete. It follows that if, in addition, is compact then double negation is Scott continuous iff is finite. We show that both the sober and assumptions are essential, and generalize the above results to all boolean nuclei on . A pointfree characterization of when is sober and is also given by proving that it is equivalent to Scott continuous nuclei on being closed.

生成讲解博客的中文版本

生成AI智能校验的中文版本