Article contents
Isomorphism theorems between models of mixed choice
Published online by Cambridge University Press: 28 December 2015
Abstract
We relate the so-called powercone models of mixed non-deterministic and probabilistic choice proposed by Tix, Keimel, Plotkin, Mislove, Ouaknine, Worrell, Morgan and McIver, to our own models of previsions. Under suitable topological assumptions, we show that they are isomorphic. We rely on Keimel's cone-theoretic variants of the classical Hahn–Banach separation theorems, using functional analytic methods, and on the Schröder–Simpson Theorem.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 27 , Issue 6 , September 2017 , pp. 1032 - 1067
- Copyright
- Copyright © Cambridge University Press 2015
References
- 5
- Cited by