A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings

DOI10.1007/BF01744291zbMATH Open0434.03042OpenAlexW2005971232WikidataQ124796900 ScholiaQ124796900MaRDI QIDQ3872452FDOQ3872452

Authors: Richard A. DeMillo, Richard J. Lipton 

Publication date: 1979

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01744291

zbMATH Keywords

decomposition problemscomplexity of infinite stringsconstructive generalization of the Borel-Cantelli lemma

Mathematics Subject Classification ID

Trees (05C05) Zero-one laws (60F20) Other constructive mathematics (03F65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Application of the Borel-Cantelli Lemma
• Polynomials with Rational Coefficients Which are Hard to Compute
• Title not available (Why is that?)
• Wiener's test and Markov chains

Cited In (1)

• On the effective content of asymptotic verifications of Edgeworth's Conjecture

This page was built for publication: A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3872452)