On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem

DOI10.4115/JLA.2021.13.6MaRDI QIDQ5028382zbMATH OpenOpenAlexWikidataFDO

Authors Rob Arthan, Paulo Oliva

Publication date 9 February 2022

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2012.09942

zbMATH Keywords

Borel-Cantelli LemmaErdős-Rényi theoremKochen-stone theoremmetastabilityquantitative analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Probabilistic measure theory (60A10)

Recommendations

• A simple proof of two generalized Borel-Cantelli lemmas
• The Borel-Cantelli lemmas, probability laws and Kolmogorov complexity
• The Borel-Cantelli lemma
• scientific article; zbMATH DE number 3923772

Cites work

• A note on the Borel-Cantelli lemma
• A quantitative mean ergodic theorem for uniformly convex Banach spaces
• A simple proof of two generalized Borel-Cantelli lemmas
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Classical metric Diophantine approximation revisited: the Khintchine-Groshev theorem
• Constructivism in mathematics. An introduction. Volume II
• Effective metastability for modified Halpern iterations in CAT(0) spaces
• scientific article; zbMATH DE number 3155636 (Why is no real title available?)
• scientific article; zbMATH DE number 3756602 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3249395 (Why is no real title available?)
• Metric simultaneous diophantine approximation (II)
• Nicht konstruktiv beweisbare Sätze der Analysis
• On the Application of the Borel-Cantelli Lemma
• Structure and randomness. Pages from year one of a mathematical blog
• The metamathematics of ergodic theory

Cited in

(11)

• Moment estimates in the first Borel-Cantelli lemma with applications to mean deviation frequencies
• A computational study of a class of recursive inequalities
• On the Borel-Cantelli Lemmas, the Erd\H{o}s-R\'enyi Theorem, and the Kochen-Stone Theorem
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• Marginal reputation
• The Borel-Cantelli lemma under m-dependence
• Proof mining and probability theory
• Uniform functional interpretations
• On quantitative convergence for stochastic processes: crossings, fluctuations and martingales
• A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces
• Quantitative strong laws of large numbers

This page was built for publication: On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem

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