Hofmann-Mislove through the Lenses of Priestley

Abstract

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

Cited by in corpus (2)

• Deriving dualities in pointfree topology from Priestley duality
• Algebraic Frames in Priestley duality