An Extension Result for Continuous Valuations
From MaRDI portal
continuous directed complete partial orderdirected complete partial orderprobabilistic power domainScott topologytau-smooth measure
Continuous lattices and posets, applications (06B35) Set functions, measures and integrals with values in ordered spaces (28B15) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Probability measures on topological spaces (60B05)
Recommendations
Cited in
(33)- A computable approach to measure and integration theory
- Extensions of valuation and absolute valued topologies
- Continuous valuations
- Approximating labelled Markov processes
- Riemann and Edalat integration on domains.
- From probability monads to commutative effectuses
- Effectuses from monads
- Domain theory, testing and simulation for labelled Markov processes
- Measure extension theorems for \(T_{0}\)-spaces
- Extension of valuations on locally compact sober spaces
- Measuring the probabilistic powerdomain
- Extensions of valuations to the Henselization and completion
- Domain-complete and LCS-complete spaces
- Completing simple valuations in K-categories
- A domain-theoretic approach to Brownian motion and general continuous stochastic processes
- On extendability by continuity of valuations on convex polytopes
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
- Probabilistic event structures and domains
- Distributed probabilistic and quantum strategies
- Computable exchangeable sequences have computable de Finetti measures
- scientific article; zbMATH DE number 3953140 (Why is no real title available?)
- scientific article; zbMATH DE number 1231639 (Why is no real title available?)
- scientific article; zbMATH DE number 1107499 (Why is no real title available?)
- Extending valuations to formal completions
- Separating minimal valuations, point-continuous valuations, and continuous valuations
- Products and projective limits of continuous valuations on \(T_0\) spaces
- Concurrent quantum strategies
- Probabilistic and quantum event structures
- A projective formalism applied to topological and probabilistic event structures
- A Cartesian closed category for random variables
- A domain-theoretic approach to statistical programming languages
- The probabilistic powerdomain for stably compact spaces
- Projective topology on bifinite domains and applications
This page was built for publication: An Extension Result for Continuous Valuations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520406)
