8 citations · 36 across the 24 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.PR2020
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
Rob Arthan, Paulo Oliva
In this paper we present a quantitative analysis of the first and second Borel-Cantelli Lemmas and of two of their generalisations: the Erdős-Rényi Theorem, and the Kochen-Stone Th…
math.LO2020★ 1 cited
Parametrised Functional Interpretations
Bruno Dinis, Paulo Oliva
This paper presents a general framework for unifying functional interpretations. It is based on families of parameters allowing for different degrees of freedom on the design of th…