A Hofmann-Mislove theorem for bitopological spaces

DOI10.1016/J.ENTCS.2007.02.033zbMATH Open1316.54012OpenAlexW2086001177MaRDI QIDQ5262937FDOQ5262937

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

Recommendations

• A Hofmann-Mislove theorem for bitopological spaces
• Hofmann-Mislove posets
• scientific article; zbMATH DE number 1498619
• A bitopological point-free approach to compactifications
• A categorical account of the Hofmann–Mislove theorem

zbMATH Keywords

sober spacesStone dualitybitopological spacesd-framesHofmann-Mislove theorem

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Domain theory in logical form
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bilattices and the semantics of logic programming
• Title not available (Why is that?)
• BIFRAMES AND BISPACES
• Synthetic topology: of data types and classical spaces
• A ternary operation in distributive lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Direct Proof of the Hofmann-Mislove Theorem

Cited In (6)

• Almost Menger property in bitopological spaces
• A Hofmann-Mislove theorem for bitopological spaces
• Title not available (Why is that?)
• Hofmann-Mislove type definitions of non-Hausdorff spaces
• The strength of prime separation, sobriety, and compactness theorems
• The assembly of a pointfree bispace and its two variations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262937)