A Hofmann-Mislove theorem for bitopological spaces

DOI10.1016/j.jlap.2008.02.007zbMath1221.54036OpenAlexW1963658540MaRDI QIDQ941428

M. Andrew Moshier, Achim Jung

Publication date: 1 September 2008

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.02.007

zbMATH Keywords

bitopological spacessober spacesstone dualityd-framesHofmann-Mislove theorem

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Frames, locales (06D22) Bitopologies (54E55) Logic programming (68N17)

Related Items (2)

Fixpoints for general correctness ⋮ Stably compact spaces

Cites Work

• Domain theory in logical form
• BIFRAMES AND BISPACES
• A Direct Proof of the Hofmann-Mislove Theorem
• Continuous Lattices and Domains
• A Hofmann-Mislove theorem for Bitopological Spaces
• 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
• Unnamed Item

This page was built for publication: A Hofmann-Mislove theorem for bitopological spaces