De Groot duality and models of choice: angels, demons and nature

DOI10.1017/S0960129509990363zbMath1193.06005MaRDI QIDQ3559970

Jean Goubault-Larrecq

Publication date: 17 May 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

probabilistic choicenondeterministic choiceconvex-concave duality

Mathematics Subject Classification ID

Compactness (54D30) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items

Observationally-induced algebras in domain theory ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ Presenting de Groot duality of stably compact spaces ⋮ Isomorphism theorems between models of mixed choice ⋮ Function spaces from Lawson compact continuous domains to continuous B-domains ⋮ Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ Unnamed Item ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ Stably compact spaces

Cites Work

• Domain theory and integration
• The probabilistic powerdomain for stably compact spaces
• Games against nature
• On the existence of probability measures with given marginals
• Topology, domain theory and theoretical computer science
• Additive representations of non-additive measures and the Choquet integral
• A universal characterization of the double powerlocale
• Measure extension theorems for \(T_{0}\)-spaces
• Theory of capacities
• Continuous Previsions
• Predicate transformers for extended probability and non-determinism
• Continuous Capacities on Continuous State Spaces
• Simulation Hemi-metrics between Infinite-State Stochastic Games
• Prevision Domains and Convex Powercones
• A domain-theoretic Banach–Alaoglu theorem