A Direct Proof of the Hofmann-Mislove Theorem

DOI10.2307/2160199zbMath0789.54030OpenAlexW4230651979MaRDI QIDQ4281769

Klaus Keimel, Jan Paseka

Publication date: 7 April 1994

Full work available at URL: https://doi.org/10.2307/2160199

zbMATH Keywords

sober topological spaceScott-open filterslattice of open subsets

Mathematics Subject Classification ID

Compactness (54D30) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Topological lattices (06B30)

Related Items

Some thoughts on countable Lindelöf products ⋮ Compact continuous \(L\)-domains ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ Sheaves and duality ⋮ Stably Compact Spaces and Closed Relations ⋮ Convex power domain and Vietoris space ⋮ Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains ⋮ Computable analysis with applications to dynamic systems ⋮ Canonical extensions of locally compact frames ⋮ Topological representations of distributive hypercontinuous lattices ⋮ Topology, domain theory and theoretical computer science ⋮ Uniform approximation of topological spaces ⋮ Hofmann-Mislove through the lenses of Priestley ⋮ Clausal logic and logic programming in algebraic domains ⋮ A Hofmann-Mislove theorem for Bitopological Spaces

Cites Work

• Unnamed Item
• Unnamed Item