Publication detail

A note to the topology generated by Scott-open filters

KOVÁR, M.

Original Title

A note to the topology generated by Scott-open filters

English Title

A note to the topology generated by Scott-open filters

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

DCPO, Scott topology, Scott open filter, de Groot dual

RIV year

2004

Released

11.11.2004

Publisher

Fakulta stavební Vysokého učení technického v Brně

Location

Brno, Česká republika

ISBN

80-214-2741-8

Book

3. mezinárodní matematický workshop

Pages from

1

Pages to

8

Pages count

8

Documents

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