Computability of measurable sets via effective topologies
DOI10.1007/S00153-005-0315-XzbMATH Open1094.03049OpenAlexW2026991960MaRDI QIDQ818928FDOQ818928
Authors: Yongcheng Wu, Decheng Ding 
Publication date: 22 March 2006
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-005-0315-x
Recommendations
- Computability of measurable sets via effective metrics
- Representations of measurable sets in computable measure theory
- Computability on measurable functions
- Computability on the probability measures on the Borel sets of the unit interval
- Computability on the probability measures on the Borel sets of the unit interval
Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Spaces of measures, convergence of measures (28A33) Theory of numerations, effectively presented structures (03D45) Topological spaces and generalizations (closure spaces, etc.) (54A05) Applications of computability and recursion theory (03D80) Undecidability and degrees of sets of sentences (03D35) Constructive and recursive analysis (03F60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Measure and integration theory. Transl. from the German by Robert B. Burckel
- Domain theory and integration
- Dynamical systems, measures, and fractals via domain theory
- Title not available (Why is that?)
- A polynomial-time computable curve whose interior has a nonrecursive measure
- On the computability of fractal dimensions and Hausdorff measure
- Computability on random variables
- Computability on the probability measures on the Borel sets of the unit interval
- A computable version of the Daniell-Stone theorem on integration and linear functionals
- Type 2 recursion theory
- Title not available (Why is that?)
Cited In (19)
- Computability of measurable sets via effective metrics
- Absolutely non-computable predicates and functions in analysis
- Computability on random events and variables in a computable probability space
- A computable approach to measure and integration theory
- Notions of Probabilistic Computability on Represented Spaces
- Computability of Subsets of Metric Spaces
- Effectively approximating measurable sets by open sets
- Computable Riesz representation for locally compact Hausdorff spaces
- Measure, category and learning theory
- Representations of measurable sets in computable measure theory
- Title not available (Why is that?)
- Computability on the probability measures on the Borel sets of the unit interval
- Computable Measure Theory and Algorithmic Randomness
- Computability on measurable functions
- Effective Choice and Boundedness Principles in Computable Analysis
- Effective Borel measurability and reducibility of functions
- A domain-theoretic approach to Brownian motion and general continuous stochastic processes
- Borel Complexity of Topological Operations on Computable Metric Spaces
- Complete multi-representations of sets in a computable measure space
This page was built for publication: Computability of measurable sets via effective topologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q818928)
