A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings.

Richard A. DeMillo Richard J. Lipton A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings. 95-104 1979 13 Mathematical Systems Theory db/journals/mst/mst13.html#DeMilloL79