6 citations · 22 across the 17 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
math.CA2007
A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets…
cs.IT2007★ 1 cited
Computability of probability measures and Martin-Lof randomness over metric spaces
Mathieu Hoyrup, Cristobal Rojas
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…