Detail výsledku

The Hofmann-Mislove Theorem for general topological structures

KOVÁR, M. The Hofmann-Mislove Theorem for general topological structures. In Proceedings of the Dagstuhl Seminar 04351 - Spatial Representation: Discrete vs. Continuous Computational Models. Schloss Dagstuhl, Deutschland: IBFI Schloss Dagstuhl, 2004. no. 04351, 9 p.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kovár Martin, doc. RNDr., Ph.D., UMAT (FEKT)
Abstrakt

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.

URL
Rok
2004
Strany
9
Sborník
Proceedings of the Dagstuhl Seminar 04351 - Spatial Representation: Discrete vs. Continuous Computational Models
Vydání
1
Svazek
1
Číslo
04351
Konference
Spatial Representation: Discrete vs. Continuous Computational Models
Vydavatel
IBFI Schloss Dagstuhl
Místo
Schloss Dagstuhl, Deutschland
BibTeX 
@inproceedings{BUT11710,
  author="Martin {Kovár}",
  title="The Hofmann-Mislove Theorem for general topological structures",
  booktitle="Proceedings of the Dagstuhl Seminar 04351 - Spatial Representation: Discrete vs. Continuous Computational Models",
  year="2004",
  volume="1",
  number="04351",
  pages="9",
  publisher="IBFI  Schloss Dagstuhl",
  address="Schloss Dagstuhl, Deutschland",
  url="ftp://ftp.dagstuhl.de/pub/Proceedings/04/04351/04351.KovarMartin4.Paper!.pdf"
}
Pracoviště
Ústav matematiky (UMAT)
Nahoru