Stably Compact Spaces and the Probabilistic Powerspace construction

We put forward a revised deflnition of stably compact spaces which allows us to show their equivalence with Nachbin’s compact ordered spaces in an entirely elementary fashion. We then exhibit some constructions for stably compact spaces which apparently have not appeared in the literature before. These constructions allow us to show that the set of (sub-)probability valuations can be equipped with a topology which turns this set into another stably compact space. The topology chosen is not random; it is the weakest topology which makes integration of lower semicontinuous functions a continuous operation.

[1]  Klaus Keimel,et al.  Continuous Lattices and Domains: Preface , 2003 .

[2]  Jimmie D. Lawson.  The Versatile Continuous Order , 1987, MFPS.

[3]  M. Andrew Moshier,et al.  On the relationship between compact regularity and Gentzen's cut rule , 2004, Theor. Comput. Sci..

[4]  M. Andrew Moshier,et al.  Multi lingual sequent calculus and coherent spaces , 1997, MFPS.

[5]  Philipp Sünderhauf,et al.  On the Duality of Compact vs. Open , 1996 .

[6]  Samson Abramsky,et al.  Domain Theory in Logical Form , 1991, LICS.

[7]  M. Andrew Moshier,et al.  A Logic for Probabilities in Semantics , 2002, CSL.

[8]  A. Jung,et al.  Cartesian closed categories of domains , 1989 .

[9]  Reinhold Heckmann,et al.  Spaces of Valuations , 1996 .

[10]  Mauricio. Alvarez Manilla.  Measure theoretic results for continuous valuations on partially ordered spaces , 2001 .

[11]  Claire Jones,et al.  Probabilistic non-determinism , 1990 .

[12]  Jimmie D. Lawson.  Domains, integration and 'positive analysis' , 2004, Math. Struct. Comput. Sci..

[13]  Achim Jung,et al.  The classification of continuous domains , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[14]  M. Andrew Moshier,et al.  Stably Compact Spaces and Closed Relations , 2001, MFPS.

[15]  Gordon D. Plotkin,et al.  A Powerdomain Construction , 1976, SIAM J. Comput..

[16]  Achim Jung,et al.  The troublesome probabilistic powerdomain , 1997, COMPROX.

[17]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[18]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[19]  Mathias Kegelmann.  Continuous Domains in Logical Form , 2002 .

[20]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[21]  N. Saheb-Djahromi,et al.  CPO'S of Measures for Nondeterminism , 1980, Theor. Comput. Sci..

[22]  L. Nachbin.  Topology and order , 1965 .

[23]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .