Computability of measurable sets via effective topologies

DOI10.1007/S00153-005-0315-XMaRDI QIDQ818928zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

measurable setcomputable topological spaceTTE computability

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 3680123 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1969324 (Why is no real title available?)
• scientific article; zbMATH DE number 2013199 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• A computable version of the Daniell-Stone theorem on integration and linear functionals
• A polynomial-time computable curve whose interior has a nonrecursive measure
• Computability on random variables
• Computability on the probability measures on the Borel sets of the unit interval
• Domain theory and integration
• Dynamical systems, measures, and fractals via domain theory
• Measure and integration theory. Transl. from the German by Robert B. Burckel
• On the computability of fractal dimensions and Hausdorff measure
• Type 2 recursion theory

Cited in

(19)

• Computability on random events and variables in a computable probability space
• Absolutely non-computable predicates and functions in analysis
• Computability of measurable sets via effective metrics
• 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
• scientific article; zbMATH DE number 3559552 (Why is no real title available?)
• Computability on the probability measures on the Borel sets of the unit interval
• Computability on measurable functions
• Computable Measure Theory and Algorithmic Randomness
• 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)