## Lawson-compactness for the Probabilistic Powerdomain (1997)

Citations: | 40 - 5 self |

### BibTeX

@MISC{Jung97lawson-compactnessfor,

author = {Achim Jung},

title = {Lawson-compactness for the Probabilistic Powerdomain},

year = {1997}

}

### Years of Citing Articles

### OpenURL

### Abstract

Introduction We show that the probabilistic powerdomain of a Lawson-compact continuous domain is again Lawson-compact. The proof is a fairly straightforward but slightly delicate calculation with so-called simple valuations. A more conceptual proof, using one of the many characterizations of Lawson-compactness, would be preferable. What we are really looking for is a similar result for FS-domains. Lawsoncompactness amounts to only "two-thirds" of this (see Theorem 6 in Chapter 8 of [Plo81]); the remaining third seems very hard to achieve, even for very simple posets, cf. the discussion in [Tix95]. 2 Background We assume familiarity with the theory of continuous domains as laid out in [AJ94] or [Law88]. Our proof will be based on the following criterion for Lawsoncompactness from [Jun89]: Lemma 1 A continuous domain D with bottom element is Lawson-compact, if and only if for every situation x ø x 0

### Citations

457 | Domain theory
- Abramsky, Jung
- 1994
(Show Context)
Citation Context ...ke structure (see Example 14 below). The first phenomenon is not particularly worrying because continuous domains have been studied alongside algebraic ones since the very beginning of domain theory, =-=[26, 7, 1]; the seco-=-nd is not new either as the Plotkin powerdomain construction, [23], has a similar effect. Considering the use of domains in semantics, one would hope for a "universe" of domains which allows... |

321 |
A Compendium of Continuous Lattices
- Gierz, Hofmann, et al.
- 1980
(Show Context)
Citation Context ...ke structure (see Example 14 below). The first phenomenon is not particularly worrying because continuous domains have been studied alongside algebraic ones since the very beginning of domain theory, =-=[26, 7, 1]; the seco-=-nd is not new either as the Plotkin powerdomain construction, [23], has a similar effect. Considering the use of domains in semantics, one would hope for a "universe" of domains which allows... |

136 | Probabilistic Non-determinism - Jones - 1990 |

68 | Dynamical systems, measures and fractals via domain theory
- Edalat
- 1995
(Show Context)
Citation Context ... probabilistic powerdomain was introduced as a tool in denotational semantics but, morerecently, Edalatdemonstrateditsusefulnessinmoremainstreammathematics, most notably in the theory of integration, =-=[2, 4, 3]-=-. From a structural point of view, the probabilistic powerdomain construction leads to domains with complex internal structure. Topologically, it produces 1continuous rather than algebraic domains be... |

62 |
Axiomatic Domain Theory in Categories of Partial Maps
- Fiore
- 1994
(Show Context)
Citation Context ...e concrete definitions. One way to go about creating such a semantic universe is to concentrate on the categorical properties of the constructions. This is the route taken by axiomatic domain theory, =-=[6, 5]-=-. The more traditional way is to define constructions concretely and then prove the categorical properties. The latter approach frequently requires additional assumptions about the spaces employed. Le... |

60 | Post-graduate lecture notes in advanced domain theory - Plotkin - 1981 |

57 | Domain theory and integration
- Edalat
- 1995
(Show Context)
Citation Context ...listic powerdomain was introduced as a tool in denotational semantics but, more recently, Edalat demonstrated its usefulness in more mainstream mathematics, most notably in the theory of integration, =-=[2, 4, 3]-=-. From a structural point of view, the probabilistic powerdomain construction leads to domains with complex internal structure. Topologically, it produces continuous rather than algebraic domains beca... |

29 | Domains and denotational semantics: history, accomplishments, and open problems
- Jung
- 1996
(Show Context)
Citation Context ...e concrete definitions. One way to go about creating such a semantic universe is to concentrate on the categorical properties of the constructions. This is the route taken by axiomatic domain theory, =-=[6, 5]-=-. The more traditional way is to define constructions concretely and then prove the categorical properties. The latter approach frequently requires additional assumptions about the spaces employed. Le... |

28 | Cartesian Closed Categories of Domains, volume 66 of CWI Tracts. Centrum voor Wiskunde en Informatica - Jung - 1989 |

26 | The versatile continuous order - Lawson - 1987 |

18 | Bereiche und Bewertungen - Kirch - 1993 |

17 | Stetige Bewertungen auf topologischen Räumen - Tix - 1995 |

7 |
Closure Properties of a Probabilistic Powerdomain Construction
- Graham
- 1988
(Show Context)
Citation Context ...in of a continuous domain is again continuous. The category of continuous domains, however, is not cartesian closed, and one has to look at subcategories such as RB, the retracts of bifinite domains. =-=[8]-=- offers a proof that the probabilistic powerdomain construction can be restricted to RB. In this paper, we give a counterexample to Graham's proof and describe our own attempts at proving a closure re... |

1 | Dynamical systems, measuresand fractals via domain theory: extended abstract - Edalat - 1993 |