Decidable lim sup and Borel-Cantelli-like lemmas for random sequences

DOI10.1016/J.SPL.2012.09.010zbMath1285.03056OpenAlexW1990099024WikidataQ125019745 ScholiaQ125019745MaRDI QIDQ1933738

George Davie

Publication date: 25 January 2013

Published in: Statistics \& Probability Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.spl.2012.09.010

zbMATH Keywords

Kolmogorov complexityalgorithmically random sequencecompressibility coefficienteffective Borel-Cantelli lemmaslayerwise decidable

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Axioms; other general questions in probability (60A05) Algorithmic randomness and dimension (03D32)

This page was built for publication: Decidable lim sup and Borel-Cantelli-like lemmas for random sequences