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"
}