The probabilistic powerdomain for stably compact spaces

DOI10.1016/J.TCS.2004.06.021zbMATH Open1071.68058OpenAlexW2147910305MaRDI QIDQ703479FDOQ703479

Authors: Mauricio Alvarez-Manilla, Achim Jung, Klaus Keimel 

Publication date: 11 January 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.06.021

Recommendations

• Stably compact spaces and the probabilistic powerspace construction
• The probabilistic powerdomain for stably compact spaces via compact ordered spaces
• Extension of valuations on locally compact sober spaces
• Theory and Applications of Models of Computation
• Probabilistic powerdomains and quasi-continuous domains

zbMATH Keywords

Probabilistic powerdomainStably compact spaceValuation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Domain theory in logical form
• Topology and measure
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Extension Result for Continuous Valuations
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory of capacities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Measure and Integration
• Continuous domains in logical form
• Semantics of probabilistic programs
• Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
• Title not available (Why is that?)
• Stably compact spaces and the probabilistic powerspace construction
• On the existence of probability measures with given marginals
• Title not available (Why is that?)
• Domains, integration and ‘positive analysis’
• Measures in Boolean Algebras
• CPO's of measures for nondeterminism
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the extension of measures
• Title not available (Why is that?)

Cited In (24)

• The probabilistic powerdomain from a topological viewpoint
• Weak topologies and compactness in asymmetric functional analysis
• QRB, QFS, and the probabilistic powerdomain
• Projective topology on bifinite domains and applications
• Topological cones: functional analysis in a \(T_{0}\)-setting
• On the computational content of the Lawson topology
• The Cuntz semigroup and domain theory
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Theory and Applications of Models of Computation
• Probabilistic powerdomains and quasi-continuous domains
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• Uniform structures in the beginning of the third millenium
• Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
• The probabilistic powerdomain for stably compact spaces via compact ordered spaces
• A cone-theoretic barycenter existence theorem
• Isomorphism theorems between models of mixed choice
• Stably compact spaces and the probabilistic powerspace construction
• Completing simple valuations in K-categories
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Bitopological duality for distributive lattices and Heyting algebras
• Extension of valuations on locally compact sober spaces
• A domain-theoretic Banach–Alaoglu theorem
• Algebras of the extended probabilistic powerdomain monad
• De Groot duality and models of choice: angels, demons and nature

This page was built for publication: The probabilistic powerdomain for stably compact spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703479)