Publication 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

conference paper

Language

en

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.

RIV year

2004

Released

14.10.2004

Publisher

IBFI Schloss Dagstuhl

Location

Schloss Dagstuhl, Deutschland

Pages from

1

Pages to

9

Pages count

9

URL

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

Documents

BibTex


@inproceedings{BUT11710,
  author="Martin {Kovár}",
  title="The Hofmann-Mislove Theorem for general topological structures",
  annote="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.",
  address="IBFI  Schloss Dagstuhl",
  booktitle="Proceedings of the Dagstuhl Seminar 04351 - Spatial Representation: Discrete vs. Continuous Computational Models",
  chapter="11710",
  institution="IBFI  Schloss Dagstuhl",
  number="04351",
  year="2004",
  month="october",
  pages="1",
  publisher="IBFI  Schloss Dagstuhl",
  type="conference paper"
}