A computable approach to measure and integration theory
type: Item
instance of: scholarly article
title: A computable approach to measure and integration theory
zbMATH Open document ID: 1169.03032
author: Abbas Edalat
published in: Information and Computation
publication date: 2009-06-08T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 28E15
zbMATH DE Number: 5562794
zbMATH Keywords: domain theory
zbMATH Keywords: data type
zbMATH Keywords: recursive and computable measurable set
zbMATH Keywords: partial measurable set
zbMATH Keywords: interval-valued measurable function
zbMATH Keywords: interval-valued Lebesgue integral
MaRDI profile type: Publication
full work available at URL: j.ic.2008.05.003
OpenAlex ID: W2077696944
cites work: An Extension Result for Continuous Valuations
cites work: Stochastic hybrid control
cites work: Q3028911
cites work: Q3803111
cites work: Three problems of Aronszajn in measure theory
cites work: Q3893911
cites work: Bisimulation for labelled Markov processes
cites work: Domain theory and integration
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: When Scott is weak on the top
cites work: Semi-pullbacks and bisimulation in categories of Markov processes
cites work: A computational model for metric spaces
cites work: Foundation of a computable solid modelling.
cites work: A domain-theoretic approach to computability on the real line
cites work: Uniform test of algorithmic randomness over a general space
cites work: Q4002474
cites work: Q5614773
cites work: Semantics of probabilistic programs
cites work: Spaces of maximal points
cites work: Riemann and Edalat integration on domains.
cites work: Q4059607
cites work: CPO's of measures for nondeterminism
cites work: Q5556429
cites work: Computability on the probability measures on the Borel sets of the unit interval
cites work: Q4485693
cites work: Computability of measurable sets via effective topologies
cites work: A computable version of the Daniell-Stone theorem on integration and linear functionals
DOI: 10.1016/J.IC.2008.05.003
description: scientific article; zbMATH DE number 5562794