A Hofmann-Mislove theorem for Bitopological Spaces

DOI10.1016/j.entcs.2007.02.033zbMath1316.54012OpenAlexW2086001177MaRDI QIDQ5262937

Achim Jung, M. Andrew Moshier

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.033

zbMATH Keywords

Stone dualitybitopological spacessober spacesd-framesHofmann-Mislove theorem

Mathematics Subject Classification ID

Lattices and duality (06D50) Frames, locales (06D22) Bitopologies (54E55) Topological lattices (06B30)

Related Items

The strength of prime separation, sobriety, and compactness theorems, A Hofmann-Mislove theorem for bitopological spaces

Cites Work

• Domain theory in logical form
• BIFRAMES AND BISPACES
• Bilattices and the semantics of logic programming
• A Direct Proof of the Hofmann-Mislove Theorem
• Continuous Lattices and Domains
• A ternary operation in distributive lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item