1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.LO2012
A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions
Paulo Oliva, Thomas Powell
We use Gödel's Dialectica interpretation to produce a computational version of the well known proof of Ramsey's theorem by Erdős and Rado. Our proof makes use of the product of sel…
math.LO2012★ 1 cited
A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis
Paulo Oliva, Thomas Powell
It has been shown that a functional interpretation of proofs in mathematical analysis can be given by the product of selection functions, a mode of recursion that has an intuitive…