6 citations · 22 across the 17 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…