2 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
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…