Computability of measurable sets via effective topologies
From MaRDI portal
Publication:818928
DOI10.1007/s00153-005-0315-xzbMath1094.03049OpenAlexW2026991960MaRDI QIDQ818928
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
Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Constructive and recursive analysis (03F60) Undecidability and degrees of sets of sentences (03D35) Topological spaces and generalizations (closure spaces, etc.) (54A05) Spaces of measures, convergence of measures (28A33) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)
Related Items
A domain-theoretic approach to Brownian motion and general continuous stochastic processes ⋮ Computability on measurable functions ⋮ Computability on random events and variables in a computable probability space ⋮ Computable Riesz Representation for Locally Compact Hausdorff Spaces ⋮ Notions of Probabilistic Computability on Represented Spaces ⋮ Absolutely non-computable predicates and functions in analysis ⋮ A computable approach to measure and integration theory ⋮ Computability of Subsets of Metric Spaces ⋮ Computable Measure Theory and Algorithmic Randomness
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Domain theory and integration
- A polynomial-time computable curve whose interior has a nonrecursive measure
- Type 2 recursion theory
- Computability on random variables
- Computability on the probability measures on the Borel sets of the unit interval
- On the computability of fractal dimensions and Hausdorff measure
- Dynamical systems, measures, and fractals via domain theory
- A computable version of the Daniell-Stone theorem on integration and linear functionals
- Measure and integration theory. Transl. from the German by Robert B. Burckel
