An extension result for continuous valuations

Electronic Notes in Theoretical Computer Science

Volumn 13, Issue , 1998, Pages 2-11

  Alvarez Manilla, M ^a   Edalat, A ^a   Saheb Djahromi, N ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; FUNCTIONS; INTEGRAL EQUATIONS; MATHEMATICAL OPERATORS; SET THEORY; TOPOLOGY;

BOREL MEASURES; MONOTONICITY; PARTIALLY ORDERED SET; SCOTT TOPOLOGY;

BOOLEAN ALGEBRA;

EID: 0037751334     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80210-5     Document Type: Conference Paper

References (17)

1. Abramsky S., Jung A. Domain theory. Gabbay D.M., Abramsky S., Maibaum T.S.E. Handbook of Logic in Computer Science Vol. 3. 1994;1-168 (Oxford University Press, Oxford
2. Alvarez-Manilla M., A. Edalat, Saheb-Djahromi N. An extension result for continuous valuations. Available in:http://theory.doc.ic.ac.uk/papers/Edalat/ extensionofvaluations.ps.Z. 1997
3. Birkhoff G. "Lattice theory," third ed., American Mathematical Society, USA. 1967
4. Edalat A. Domain theory and integration. Theoretical Computer Science. 151:1995;163-193
5. Edalat A. Dynamical systems, measures and fractals via domain theory. Information and Computation. 120:(no. 1):1995;32-48
6. Edalat A. Domains for computation in mathematics, physics and exact real arithmetic. The Bulletin of Symbolic Logic. 3:(no. 4):1997;401-452
7. Halmos Paul R. "Measure Theory," D. Van Nostrand Company. 1950;Princeton, New Jersey
8. Horn A., Tarski A. Measures in Boolean algebras. Trans. Amer. Math. Soc. 64:1948;467-497
9. Johnstone P. "Stone spaces," 1982;Cambridge University Press, UK
10. Jones C. "Probabilistic non-determinism," Ph.D. thesis, University of Edinburgh, Edinburgh. 1989
11. C. Jones and G. Plotkin, A probabilistic powerdomain of evaluations, Logic in Computer Science (LICS) (IEEE Computer Society Press, Silver Spring, MD, 1989) 186-195.
12. Lawson J.D. Valuations in continuous lattices. Hoffmann Rudolf-Eberhard. Continuous Lattices and Related Topics, Vol. 27 of Mathematik Arbeitspapiere. 1982;Universitat Bremen, Germany
13. M. Loève, On almost sure convergence, Procceedings of the Second Berkeley Symposium on Mathemathical Statistics and Probability (University of California Press, USA, 1951) 279-303.
14. Nash S.W. An extension of the Borel-Cantelli Lemma. Annals of mathematical statistics. 25:1954;165-168
15. Norberg T. Existence theorems for measures on continuous posets, with applications to random set theory. Math. Scand. 64:1989;15-51
16. Pettis B.J. On the extension of measures. Annals of Mathematics. 54:(no. 1):1951;186-197
17. Saheb-Djahromi N. Cpo's of measures for nondeterminism. Theoretical Computer Science. 12:1980;19-37