✦ LIBER ✦

Measuring the probabilistic powerdomain

✍ Scribed by Keye Martin; Michael Mislove; James Worrell

Book ID: 104325926
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 377 KB
Volume: 312
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(03)00404-3

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we initiate the study of measurements on the probabilistic powerdomain. We show how measurements on an underlying domain naturally extend to its probabilistic powerdomain, so that the kernel of the extension consists of exactly those normalized measures on the kernel of the measurement on the underlying domain. This result is combined with now-standard results from the theory of measurements to obtain a new proof that the ÿxed point associated with a weakly hyperbolic IFS with probabilities is the unique invariant measure whose support is the attractor of the underlying IFS.

📜 SIMILAR VOLUMES

The probabilistic powerdomain for stably

The probabilistic powerdomain for stably compact spaces

✍ Mauricio Alvarez-Manilla; Achim Jung; Klaus Keimel 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 311 KB

A Powerdomain of Possibility Measures

✍ Michael Huth 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 780 KB

We p r o vide a domain-theoretic framework for possibility theory by studying possibility measures on the lattice of opens O(X) of a topological space X . The powerspaces P 0 1] (X) and P 0 1] (X) o f a l l s u c h maps extend to functors in the natural way. We m a y think of possibility measures as

The Probabilistic Powerdomain for Stably

The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces

✍ Klaus Keimel 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Resolution in the Smyth powerdomain

✍ Guo-Qiang Zhang; William C. Rounds 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 28 KB

The purposes of this paper are (i) to give a new, efficient representation of Smyth powerdomains as 0-inhabited information systems, following the style of Scott; (ii) to introduce, as a consequence of this representation, a generalized resolution method for an arbitrary Smyth powerdomain and show t

Universality and Powerdomains

✍ K.J. Nüßler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 840 KB

In this paper we i n vestigate the Plotkin powerdomain under order-theoretical aspects. We answer a problem of G. Plotkin whether any bi nite domain can be embedded (with embedding-projection pairs) into the Plotkin powerdomain of a Scott-domain. Here we obtain counter-examples. There is a 9-element

Quasicontinuous Domains and the Smyth Po

Quasicontinuous Domains and the Smyth Powerdomain

✍ Heckmann, Reinhold; Keimel, Klaus 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 289 KB