Hofmann-Mislovova věta pro obecné uspořádané množiny

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F04%3APU46315" target="_blank" >RIV/00216305:26220/04:PU46315 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The Hofmann-Mislove Theorem for general posets

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

The Hofmann-Mislove Theorem for general posets

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F03%2F0933" target="_blank" >GA201/03/0933: Množinově teoretické a kategoriální metody v topologických a algebraických strukturách</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2004

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

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

ISBN

—

ISSN

—

e-ISSN

—

Počet stran výsledku

16

Strana od-do

1-16

Název nakladatele

IBFI Schloss Dagstuhl

Místo vydání

Schloss Dagstuhl, Deutschland

Místo konání akce

Dagstuhl

Datum konání akce

22. 8. 2004

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—