Extension of valuations on locally compact sober spaces

Topology and its Applications

Volumn 124, Issue 3, 2002, Pages 397-433

  Alvarez Manilla, Mauricio ^a,b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b Application Networks   (United Kingdom)

Author keywords

Coherent spaces; Continuous valuations; Domain representations; Extension of continuous valuations; Maximal point spaces; Probabilistic powerdomains; Sober spaces

Indexed keywords

EID: 0038688707     PISSN: 01668641     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-8641(01)00249-8     Document Type: Article

References (70)

1. Abramsky S. Jung A. Domain theory in: Abramsky S. Gabbay D.M. Maibaum T.S.E. (Eds.), Handbook of Logic in Computer Science, Vol. 3 1994 1-168 Oxford Univ. Press Oxford
2. Alvarez-Manilla M. Edalat A. Saheb-Djahromi N. An extension result for continuous valuations J. London Math. Soc. 61 2 2000 629-640
3. M. Alvarez-Manilla, Measure theoretic results for continuous valuations on partially ordered spaces, Ph.D. Thesis, University of London, Imperial College of Science, Technology and Medicine, 2000
4. Birkhoff G. Lattice Theory 3rd edn. 1967 American Mathematical Society Providence, RI
5. J. Blanck, Computability on topological spaces by effective domain representations, Ph.D. Thesis, Department of Mathematics, Uppsala University, 1997
6. Blanck J. Domain representability of metric spaces Ann. Pure Appl. Logic 83 1997 225-247
7. Bourbaki N. General Topology, Part 1, Elements of Mathematics 1966 Addison-Wesley Reading, MA
8. Dudley R.M. Real Analysis and Probability 1989 Wadsworth & Brooks/Cole USA
9. Edalat A. Domain theory and integration Theoretical Comput. Sci. 151 1995 163-193
10. Edalat A. Dynamical systems, measures and fractals via domain theory Informat. Comput. 120 1 1995 32-48
11. Edalat A. Domains for computation in mathematics, physics and exact real arithmetic Bull. Symb. Logic 3 4 1997 401-452
12. Edalat A. Heckmann R. A computational model for metric spaces Theoretical Comput. Sci. 193 1998 53-73
13. Edalat A. Negri S. The generalised Riemann integral on locally compact spaces Topology Appl. 89 1998 121-150
14. Edwards D.A. On the existence of probability measures with given marginals Ann. Inst. Fourier (Grenoble) 28 4 1978 53-78
15. Erker T. Escardó M.H. Keimel K. The way-below relation of function spaces over semantic domains Topology Appl. 89 1998 61-74
16. Gierz G. Hofmann K.H. Keimel K. Lawson J.D. Mislove M. Scott D.S. A Compendium of Continuous Lattices 1980 Springer Berlin
17. Halmos P.R. Measure Theory 1950 Van Nostrand Princeton, NJ
18. Heckmann R. Spaces of valuations in: Andima S. Flagg R.C. Itzkowitz G. Kong Y. Kopperman R. Misra P. (Eds.), Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine (New York, USA) in: Ann. New York Acad. Sci. 806 1996 174-200
19. Hoffmann-Jørgensen J. Probability with a View Toward Statistics 1994 Chapman-Hall New York, USA
20. Hofmann K.H. Lawson J.D. The spectral theory of distributive continuous lattices Trans. Amer. Math. Soc. 246 1978 285-310
21. Hofmann K.H. Mislove M. Local compactness and continuous lattices in: Banaschewski B. Hoffmann R.E. (Eds.), Continuous Lattices, Bremen 1979 Lecture Notes in Math. 871 1981 209-248 Springer Berlin
22. Horn A. Tarski A. Measures in Boolean algebras Trans. Amer. Math. Soc. 64 1948 467-497
23. Howroyd J.D. A domain theoretic approach to integration in Hausdorff spaces London Math. Soc. J. Comput. Math. 3 2000 229-273
24. Johnstone P. Stone Spaces 1982 Cambridge Univ. Press UK
25. C. Jones, Probabilistic non-determinism, Ph.D. Thesis, University of Edinburgh, 1989
26. Jones C. Plotkin G. A probabilistic powerdomain of evaluations Logic in Computer Science (LICS) 1989 186-195 IEEE Computer Society Press Silver Spring, MD
27. Kamae T. Krengel U. Stochastic partial ordering Ann. Probab. 6 6 1978 1044-1049
28. Kamae T. Krengel U. O'Brien G.L. Stochastic inequalities on partially ordered spaces Ann. Probab. 5 6 1977 899-912
29. Kawabe J. A criterion for weak compactness of measures on product spaces with applications Yokohama Math. J. 42 1994 159-169
30. Kelley J.L. General Topology 1955 Van Nostrand USA
31. O. Kirch, Bereiche und Bewertungen, Master's thesis, Technische Hochschule Darmstadt, 1993
32. Kopperman R. Asymmetry and duality in topology Topology Appl. 66 1995 1-39
33. Lawson J.D. Valuations on continuous lattices in: Hoffmann R.-E. (Ed.), Continuous Lattices and Related Topics Mathematik Arbeitspapiere 27 1982 Universität Bremen
34. Lawson J.D. The versatile continuous order in: Main M.G. Melton A. Mislove M. Schmidt D. (Eds.), Mathematical Foundations of Programming Language Semantics (MFPLS 1987) Lecture Notes in Comput. Sci. 298 1988 Springer Berlin
35. Lawson J.D. Order and strongly sober compactifications in: Reed G.M. Roscoe A.W. Wachter R.F. (Eds.), Topology and Category Theory in Computer Science 1991 179-205 Clarendon Press Oxford, UK
36. Lawson J. Spaces of maximal points Math. Struct. Comput. Sci. 7 1997 543-555
37. Lawson J. Computation on metric spaces via domain theory Topology Appl. 85 1998 247-263
38. Liggett T.M. Interacting Particle Systems 1985 Springer New York
39. Mallory D. Extension of set functions to measures and applications to inverse limit measures Canad. Math. Bull. 18 4 1975 547-553
40. Marczewski E. On compact measures Fund. Math. 40 1953 113-124
41. Markowsky G. Chain-complete p.o. sets and directed sets with applications Algebra Universalis 6 1976 53-68
42. K. Martin, Domain theoretic models of topological spaces, Electronic Notes in Theoretical Computer Science, Vol. 13, Elsevier, URL: http://www.elsevier.nl/
43. Mislove M.W. Topology, domain theory and theoretical computer science Topology Appl. 89 1998 3-59
44. Mohapl J. On modular set functions and measures Math. Slovaca 41 2 1991 147-166
45. Nachbin L. Topology and Order 1965 Van Nostrand Princeton, NJ
46. Norberg T. Existence theorems for measures on continuous posets, with applications to random set theory Math. Scand. 64 1989 15-51
47. Norberg T. On the existence of ordered couplings of random sets with applications Israel J. Math. 77 1992 241-264
48. Norberg T. On the Convergence of Probability Measures on Continuous Posets in: Vervaat W. Holwerda H. (Eds.), Probability and Lattices CWI Tracts 110 1997 SMC, Centrum voor Wiskunde en Informatica Amsterdam
49. Norberg T. Vervaat W. Capacities on non-Hausdorff spaces in: Vervaat W. Holwerda H. (Eds.), Probability and Lattices CWI Tracts 110 1997 SMC, Centrum voor Wiskunde en Informatica Amsterdam
50. Pachl J. Disintegration and compact measures Math. Scand. 43 1978 157-168
51. Pettis B.J. On the extension of measures Ann. of Math. 54 1 1951 186-197
52. Preston C.J. A generalization of the FKG inequalities Commun. Math. Phys. 36 1974 233-241
53. Royden H.L. Real Analysis 3rd edn. 1988 Macmillan New York
54. Saheb-Djahromi N. Cpo's of measures for nondeterminism Theoretical Comput. Sci. 12 1980 19-37
55. Sigstam I. Stoltenberg-Hansen V. Representability of locally compact regular spaces by domains and formal spaces Theoretical Comput. Sci. 179 1997 319-331
56. Skala H.J. The existence of probability measures with given marginals Ann. Probab. 21 1 1993 136-142
57. Smiley M.F. An extension of metric distributive lattices with an application in general analysis Trans. Amer. Math. Soc. 56 1944 435-447
58. Smyth M.B. Totally bounded spaces and compact ordered spaces as domains of computation in: Reed G.M. Roscoe A.W. Wachter R.F. (Eds.), Topology and Category Theory in Computer Science 1991 207-229 Clarendon Press Oxford, UK
59. Smyth M.B. Stable compactification I J. London Math. Soc. 45 2 1992 321-340
60. Smyth M.B. Topology in: Abramsky S. Gabbay D.M. Maibaum T.S.E. (Eds.), Handbook of Logic in Computer Science, Vol. 1 1992 641-761 Oxford Univ. Press Oxford, UK
61. Stoltenberg-Hansen V. Tucker J.V. Effective algebras in: Abramsky S. Gabbay D.M. Maibaum T.S.E. (Eds.), Handbook of Logic in Computer Science, Vol. 4 1995 357-526 Oxford Univ. Press Oxford
62. Strassen V. The existence of probability measures with given marginals Ann. Math. Statist. 36 1965 423-439
63. R. Tix, Stetige Bewertungen auf topologischen Räumen, Master's thesis, Technische Hochschule Darmstadt, 1995
64. Topsøe F. Compactness in spaces of measures Stud. Math. 36 1970 195-212
65. Topsøe F. Topology and Measure Lecture Notes in Math. 133 1970 Springer Berlin
66. Topsøe F. On construction of measures Proceedings of the Conference: 'Topology and Measure I', Zinnowitz 1974 1978 343-381 Greifswald University
67. Topsøe F. Approximating pavings and construction of measures Colloq. Math. 42 1979 377-385
68. Varadarajan V.S. Measures on topological spaces Amer. Math. Soc. Transl. 48 1965 161-228
69. Vervaat W. Random upper semicontinuous functions and extrem processes in: Vervaat W. et-al (Eds.), Probability and Lattices CWI Tracts 110 1997 1 56 Centrum voor Wiskunde en Informatica Amsterdam
70. Weihrauch K. Schreiber U. Embedding metric spaces into cpo's Theoretical Comput. Sci. 16 1981 5-24