Detail publikačního výsledku

The Hofmann-Mislove Theorem for general topological structures

KOVÁR, M.

Originální název

The Hofmann-Mislove Theorem for general topological structures

Anglický název

The Hofmann-Mislove Theorem for general topological structures

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální 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.

Anglický 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.

Klíčová slova v angličtině

compact saturated set, Scott open filter, (quasi-) sober space

Autoři

KOVÁR, M.

Rok RIV

2011

Vydáno

14.10.2004

Nakladatel

IBFI Schloss Dagstuhl

Místo

Schloss Dagstuhl, Deutschland

Kniha

Proceedings of the Dagstuhl Seminar 04351 - Spatial Representation: Discrete vs. Continuous Computational Models

Svazek

1

Číslo

04351

Strany od

1

Strany počet

9

URL

ftp://ftp.dagstuhl.de/pub/Proceedings/04/04351/04351.KovarMartin4.Paper!.pdf

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"
}