Poznámka k topologii generované Scottově otevřenými filtry
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F04%3APU46341" target="_blank" >RIV/00216305:26220/04:PU46341 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A note to the topology generated by Scott-open filters
Popis výsledku v původním jazyce
In Problem 527 of Open Problems in Topology J. Lawson and M. Mislove ask, for which DCPO's the Scott topology has a basis of open filters and for which DCPO's the topology generated by the Scott open filters is T$_0$. In this paper we introduce a notionof a Hofmann-Mislove DCPO, for which we can partially answer the question.
Název v anglickém jazyce
A note to the topology generated by Scott-open filters
Popis výsledku anglicky
In Problem 527 of Open Problems in Topology J. Lawson and M. Mislove ask, for which DCPO's the Scott topology has a basis of open filters and for which DCPO's the topology generated by the Scott open filters is T$_0$. In this paper we introduce a notionof a Hofmann-Mislove DCPO, for which we can partially answer the question.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
3. mezinárodní matematický workshop
ISBN
80-214-2741-8
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
1-8
Název nakladatele
Fakulta stavební Vysokého učení technického v Brně
Místo vydání
Brno, Česká republika
Místo konání akce
Brno
Datum konání akce
11. 11. 2004
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—