Hofmann-Mislove through the lenses of Priestley

DOI10.1007/s00233-022-10311-4OpenAlexW4281485078MaRDI QIDQ2099147

Guram Bezhanishvili, Sebastian Melzer

Publication date: 23 November 2022

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.10891

zbMATH Keywords

Priestley dualityframesober spaceHofmann-Mislove theoremcompact saturated setScott-open filter

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Lattices and duality (06D50) Frames, locales (06D22) Fairly general properties of topological spaces (54D99)

Related Items

Deriving dualities in pointfree topology from Priestley duality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Profinite Heyting algebras
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• When is the frame of nuclei spatial: a new approach
• Frames and Locales
• Bitopological duality for distributive lattices and Heyting algebras
• Ordered Topological Spaces and the Representation of Distributive Lattices
• A Direct Proof of the Hofmann-Mislove Theorem
• Continuous Lattices and Domains
• Representation of Distributive Lattices by means of ordered Stone Spaces