Publication detail

The Hofmann-Mislove Theorem for general posets

KOVÁR, M.

Original Title

The Hofmann-Mislove Theorem for general posets

English Title

The Hofmann-Mislove Theorem for general posets

Type

conference paper

Language

en

Original Abstract

In this paper we attempt to find and investigate the most general class of posets which satisfy a properly generalized version of the Hofmann-Mislove theorem. For that purpose, we generalize and study some notions (like compactness, the Scott topology, Scott open filters, prime elements, the spectrum etc.), and adjust them for use in general posets. Then we characterize the posets satisfying the Hofmann-Mislove theorem by the relationship between the generalized Scott closed prime subsets and the generalized prime elements of the poset. The theory become classic for distributive lattices. Remark that the topologies induced on the generalized spectra in general need not be sober.

English abstract

In this paper we attempt to find and investigate the most general class of posets which satisfy a properly generalized version of the Hofmann-Mislove theorem. For that purpose, we generalize and study some notions (like compactness, the Scott topology, Scott open filters, prime elements, the spectrum etc.), and adjust them for use in general posets. Then we characterize the posets satisfying the Hofmann-Mislove theorem by the relationship between the generalized Scott closed prime subsets and the generalized prime elements of the poset. The theory become classic for distributive lattices. Remark that the topologies induced on the generalized spectra in general need not be sober.

RIV year

2004

Released

14.10.2004

Publisher

IBFI Schloss Dagstuhl

Location

Schloss Dagstuhl, Deutschland

Pages from

1

Pages to

16

Pages count

16

URL

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

Documents

BibTex


@inproceedings{BUT11709,
  author="Martin {Kovár}",
  title="The Hofmann-Mislove Theorem for general posets",
  annote="In this paper we attempt to find and investigate the most general class of posets which satisfy a properly generalized version of the Hofmann-Mislove theorem. For that purpose, we generalize and study some notions (like compactness, the Scott topology, Scott open filters, prime elements, the spectrum etc.), and adjust them for use in general posets. Then we characterize the posets satisfying the Hofmann-Mislove theorem by the relationship between the generalized Scott closed prime subsets and the generalized prime elements of the poset. The theory become classic for distributive lattices. Remark that the topologies induced on the generalized spectra in general need not be sober.",
  address="IBFI  Schloss Dagstuhl",
  booktitle="Proceedings of the Dagstuhl Seminar 04351 - Spatial Representation: Discrete vs. Continuous Computational Models",
  chapter="11709",
  institution="IBFI  Schloss Dagstuhl",
  number="04351",
  year="2004",
  month="october",
  pages="1",
  publisher="IBFI  Schloss Dagstuhl",
  type="conference paper"
}