DagSemProc.04351.21.pdf
- Filesize: 197 kB
- 9 pages
Document
The Hofmann-Mislove Theorem for general topological structures
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 4351
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2005-04-22
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)
https://doi.org/10.4230/DagSemProc.04351.21
https://doi.org/10.4230/DagSemProc.04351.21
Abstract
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.
Keywords
- Compact saturated set
- Scott open filter
- (quasi-) sober space
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads