An Extension Result for Continuous Valuations

DOI10.1112/S0024610700008681zbMath0960.60005OpenAlexW2049767056WikidataQ56873887 ScholiaQ56873887MaRDI QIDQ4520406

Mauricio Alvarez-Manilla, Nasser Saheb-Djahromi, Abbas Edalat

Publication date: 13 December 2000

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/s0024610700008681

zbMATH Keywords

Scott topologydirected complete partial orderprobabilistic power domaincontinuous directed complete partial ordertau-smooth measure

Mathematics Subject Classification ID

Probability measures on topological spaces (60B05) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Continuous lattices and posets, applications (06B35) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Set functions, measures and integrals with values in ordered spaces (28B15)

Related Items (21)

Distributed probabilistic and quantum strategies ⋮ Domain-complete and LCS-complete spaces ⋮ Measuring the probabilistic powerdomain ⋮ Projective topology on bifinite domains and applications ⋮ Separating minimal valuations, point-continuous valuations, and continuous valuations ⋮ A domain-theoretic approach to Brownian motion and general continuous stochastic processes ⋮ From probability monads to commutative effectuses ⋮ Approximating labelled Markov processes ⋮ Riemann and Edalat integration on domains. ⋮ Effectuses from monads ⋮ Computable Exchangeable Sequences Have Computable de Finetti Measures ⋮ Probabilistic and Quantum Event Structures ⋮ The probabilistic powerdomain for stably compact spaces ⋮ True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures ⋮ Domain theory, testing and simulation for labelled Markov processes ⋮ Measure extension theorems for \(T_{0}\)-spaces ⋮ A projective formalism applied to topological and probabilistic event structures ⋮ Probabilistic event structures and domains ⋮ A computable approach to measure and integration theory ⋮ Concurrent Quantum Strategies ⋮ Extension of valuations on locally compact sober spaces

This page was built for publication: An Extension Result for Continuous Valuations