S. Melzer

activity

20222026

most citedHofmann-Mislove through the Lenses of Priestley

3 citations · 5 across the 9 of their papers we have counts for

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

When is double negation Scott continuous?

Guram Bezhanishvili, Sebastian D. Melzer

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 fol…

math.LO2022★ 3 cited

Hofmann-Mislove through the Lenses of Priestley

G. Bezhanishvili, S. Melzer

We use Priestley duality to give a new proof of the Hofmann-Mislove Theorem.