Computability on the probability measures on the Borel sets of the unit interval
From MaRDI portal
Publication:1292415
DOI10.1016/S0304-3975(98)00298-9zbMath0916.68043WikidataQ126843235 ScholiaQ126843235MaRDI QIDQ1292415
Publication date: 21 June 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Computable Riesz Representation for Locally Compact Hausdorff Spaces, Notions of Probabilistic Computability on Represented Spaces, Admissible Representations of Probability Measures, Computable Measure Theory and Algorithmic Randomness, When series of computable functions with varying domains are computable, On the computability of a construction of Brownian motion, Algorithmic randomness over general spaces, On the topological aspects of the theory of represented spaces, Kolmogorov complexity and the geometry of Brownian motion, Computability on random events and variables in a computable probability space, Algorithmic randomness, reverse mathematics, and the dominated convergence theorem, Computable de Finetti measures, Computability of measurable sets via effective topologies, Representing probability measures using probabilistic processes, Are unbounded linear operators computable on the average for Gaussian measures?, A computable approach to measure and integration theory, Computability on random variables, Random elements in effective topological spaces with measure., Uncomputably noisy ergodic limits, Computability of probability measures and Martin-Löf randomness over metric spaces, A computable version of the Daniell-Stone theorem on integration and linear functionals, An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages, Computability on measurable functions, Computability of the Radon-Nikodym Derivative, Computable Exchangeable Sequences Have Computable de Finetti Measures
Cites Work
- Domain theory and integration
- Theory of representations
- Computability on computable metric spaces
- Power domains and iterated function systems
- Computable functionals
- Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item