4 citations · 5 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2019
A note on the finitization of Abelian and Tauberian theorems
Thomas Powell
We present finitary formulations of two well known results concerning infinite series, namely Abel's theorem, which establishes that if a series converges to some limit then its Ab…
math.LO2017
Well quasi-orders and the functional interpretation
Thomas Powell
The purpose of this article is to study the role of Gödel's functional interpretation in the extraction of programs from proofs in well quasi-order theory. The main focus is on the…