Publication result detail

The Hofmann-Mislove Theorem for general topological structures

KOVÁR, M.

Original Title

The Hofmann-Mislove Theorem for general topological structures

English Title

The Hofmann-Mislove Theorem for general topological structures

Type

Paper in proceedings (conference paper)

Original 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.

English 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.

Key words in English

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

Authors

KOVÁR, M.

RIV year

2011

Released

14.10.2004

Publisher

IBFI Schloss Dagstuhl

Location

Schloss Dagstuhl, Deutschland

Book

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

Volume

1

Number

04351

Pages from

1

Pages count

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