{"id":"arxiv/2608.17107","url":"https://arxiv.org/abs/2608.17107","tags":["math.LO"],"score":0,"title":"When is double negation Scott continuous?","domain":"math.LO","source":"arxiv","authors":["Guram Bezhanishvili","Sebastian D. Melzer"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-17","reactions":{}}