A computable approach to measure and integration theory

DOI10.1016/j.ic.2008.05.003zbMath1169.03032OpenAlexW2077696944MaRDI QIDQ1021572

Abbas Edalat

Publication date: 8 June 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.05.003

zbMATH Keywords

domain theorydata typeinterval-valued Lebesgue integralinterval-valued measurable functionpartial measurable setrecursive and computable measurable set

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45) Other connections with logic and set theory (28E15)

Related Items

A domain-theoretic approach to Brownian motion and general continuous stochastic processes, From propositional logic to plausible reasoning: a uniqueness theorem, Computability on random events and variables in a computable probability space, Algorithmic randomness over general spaces, Computable analysis with applications to dynamic systems, Computable Measure Theory and Algorithmic Randomness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain theory and integration
• Computability of measurable sets via effective topologies
• Three problems of Aronszajn in measure theory
• A computational model for metric spaces
• CPO's of measures for nondeterminism
• Semantics of probabilistic programs
• A domain-theoretic approach to computability on the real line
• Computability on the probability measures on the Borel sets of the unit interval
• Riemann and Edalat integration on domains.
• Stochastic hybrid control
• Foundation of a computable solid modelling.
• Dynamical systems, measures, and fractals via domain theory
• A computable version of the Daniell-Stone theorem on integration and linear functionals
• Bisimulation for labelled Markov processes
• Uniform test of algorithmic randomness over a general space
• Spaces of maximal points
• When Scott is weak on the top
• An Extension Result for Continuous Valuations
• Semi-pullbacks and bisimulation in categories of Markov processes