Henry Towsner

Publications

• Jeremy Avigad, Henry Towsner, Functional Interpretation and Inductive Definitions (draft) (arXiv)
• Henry Towsner, Convergence of Diagonal Ergodic Averages (submitted) (arXiv)
• Henry Towsner, Ordinal Analysis by Transformations (accepted) (PDF)
• Jeremy Avigad, Philipp Gerhardy, Henry Towsner, Local stability of ergodic averages (accepted) (arXiv)
• Henry Towsner, Epsilon substitution for ID1 (draft) (PDF)
• Henry Towsner, Epsilon substitution for transfinite induction, Archive for Mathematical Logic, Volume 44, Issue 4, May 2005, Pages 397 - 412 (PDF)
• Henry Towsner, A realizability interpretation for classical analysis, Archive for Mathematical Logic, Volume 43, Issue 7, Oct 2004, Pages 891 - 900 (PDF)