科研速览 · Science Skim继续刷下去 · Keep skimming →
◇ arXiv2026-08-17· math.LO

When is double negation Scott continuous?

Guram Bezhanishvili, Sebastian D. Melzer

原始摘要(英文原文)· Original abstract
Let $L$ be the frame of opens of a $T_0$-space $X$. We prove that if $X$ is sober and $T_1$, then the double negation nucleus on $L$ is Scott continuous iff $X$ is discrete. It follows that if, in addition, $X$ is compact then double negation is Scott continuous iff $X$ is finite. We show that both the sober and $T_1$ assumptions are essential, and generalize the above results to all boolean nuclei on $L$. A pointfree characterization of when $X$ is sober and $T_1$ is also given by proving that it is equivalent to Scott continuous nuclei on $L$ being closed.
读原文 · Read the paper ↗

AI 追问PRO

登录后使用 AI 追问

讨论区

登录后参与讨论

相关论文 · Related

When is double negation Scott continuous? — 科研速览 Science Skim