95 citations · 154 across the 35 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
math.LO2008
Priority Arguments and Epsilon Substitutions
Henry Towsner
Kreisel has observed that the termination proof for Hilbert's epsilon-substitution method bears a resemblance to the priority arguments used in recursion theory. We make this preci…
math.DS2008★ 4 cited
A General Correspondence between Averages and Integrals
Henry Towsner
Recent work has generalized the Furstenberg correspondence between sets of integers and dynamical systems to versions which involve sequences of finite graphs or sequences of $L^\i…
math.LO2008
Functional interpretation and inductive definitions
Jeremy Avigad, Henry Towsner
Extending Gödel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theo…