Document Open Access Logo

The Hofmann-Mislove Theorem for general topological structures

Author Martin Kovar

Thumbnail PDF


  • Filesize: 197 kB
  • 9 pages

Document Identifiers

Author Details

Martin Kovar

Cite AsGet BibTex

Martin Kovar. The Hofmann-Mislove Theorem for general topological structures. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)


In this paper we prove a modification of Hofmann-Mislove theorem for a topological structure similar to the minusspaces of de Groot, in which the empty set "need not be open". This will extend, in a slightly relaxed form, the validity of the classical Hofmann-Mislove theorem also to some of those spaces, whose underlying topology need not be (quasi-) sober.
  • Compact saturated set
  • Scott open filter
  • (quasi-) sober space


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail