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

DOI10.4115/jla.2021.13.6OpenAlexW4210256931WikidataQ124796615 ScholiaQ124796615MaRDI QIDQ5028382

Rob Arthan, Paulo Oliva

Publication date: 9 February 2022

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

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

zbMATH Keywords

metastabilityquantitative analysisErdős-Rényi theoremBorel-Cantelli LemmaKochen-stone theorem

Mathematics Subject Classification ID

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

Related Items (2)

A computational study of a class of recursive inequalities ⋮ Moment estimates in the first Borel-Cantelli lemma with applications to mean deviation frequencies

Cites Work

• Effective metastability for modified Halpern iterations in CAT(0) spaces
• The metamathematics of ergodic theory
• Constructivism in mathematics. An introduction. Volume II
• Classical Metric Diophantine Approximation Revisited: The Khintchine-Groshev Theorem
• A quantitative mean ergodic theorem for uniformly convex Banach spaces
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Metric simultaneous diophantine approximation (II)
• Nicht konstruktiv beweisbare Sätze der Analysis
• On the Application of the Borel-Cantelli Lemma
• A note on the Borel-Cantelli lemma
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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