Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Algorithmic information theory
Algorithmic information theory
Complexity theory of real functions
Complexity theory of real functions
Computability on computable metric spaces
Theoretical Computer Science
Handbook of logic in computer science (vol. 3)
A computational model for metric spaces
Theoretical Computer Science
Computability on subsets of Euclidean space I: closed and compact subsets
Theoretical Computer Science - Special issue on computability and complexity in analysis
Computability on the probability measures on the Borel sets of the unit interval
Theoretical Computer Science - Special issue on computability and complexity in analysis
Effective properties of sets and functions in metric spaces with computability structure
Theoretical Computer Science - Special issue on computability and complexity in analysis
Computable analysis: an introduction
Computable analysis: an introduction
Effective metric spaces and representations of the reals
Theoretical Computer Science
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Random elements in effective topological spaces with measure
Information and Computation
The Scott Topology Induces the Weak Topology
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Computability on subsets of metric spaces
Theoretical Computer Science - Topology in computer science
Uniform test of algorithmic randomness over a general space
Theoretical Computer Science
Admissible Representations of Probability Measures
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamics of a generic Brownian motion: Recursive aspects
Theoretical Computer Science
Connectivity Properties of Dimension Level Sets
Electronic Notes in Theoretical Computer Science (ENTCS)
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties
Theoretical Computer Science
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties
Theoretical Computer Science
Applications of Effective Probability Theory to Martin-Löf Randomness
ICALP '09 Proceedings of the 36th International Colloquium on Automata, Languages and Programming: Part I
An Application of Martin-Löf Randomness to Effective Probability Theory
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
Information and Computation
Ergodic-type characterizations of algorithmic randomness
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Randomness and the ergodic decomposition
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Computability of the Radon-Nikodym derivative
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
Information and Computation
Noise vs computational intractability in dynamics
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Von Neumann's Biased Coin Revisited
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.00 |
In this paper, we investigate algorithmic randomness on more general spaces than the Cantor space, namely computable metric spaces. To do this, we first develop a unified framework allowing computations with probability measures. We show that any computable metric space with a computable probability measure is isomorphic to the Cantor space in a computable and measure-theoretic sense. We show that any computable metric space admits a universal uniform randomness test (without further assumption).