Detail publikace
A note to the topology generated by Scott-open filters
KOVÁR, M.
Originální název
A note to the topology generated by Scott-open filters
Anglický název
A note to the topology generated by Scott-open filters
Jazyk
en
Originální abstrakt
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 notion of a Hofmann-Mislove DCPO, for which we can partially answer the question.
Anglický abstrakt
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 notion of a Hofmann-Mislove DCPO, for which we can partially answer the question.
Dokumenty
BibTex
@inproceedings{BUT11835,
author="Martin {Kovár}",
title="A note to the topology generated by Scott-open filters",
annote="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 notion of a Hofmann-Mislove DCPO, for which we can partially answer the question.",
address="Fakulta stavební Vysokého učení technického v Brně",
booktitle="3. mezinárodní matematický workshop",
chapter="11835",
institution="Fakulta stavební Vysokého učení technického v Brně",
number="11",
year="2004",
month="november",
pages="1",
publisher="Fakulta stavební Vysokého učení technického v Brně",
type="conference paper"
}