Henry Towsner, Metastability in the Furstenberg-Zimmer Tower II: Polynomial and Multidimensional Szemerèdi's Theorem (draft), (arXiv)
Henry Towsner, A Simple Proof of Hindman's Theorem (draft), (arXiv)
Henry Towsner, Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic (draft), (arXiv)
Henry Towsner, A Correspondence Principle for the Gowers Uniformity Norms (submitted), (arXiv)
Jeremy Avigad, Henry Towsner, Metastability in the Furstenberg-Zimmer tower (submitted), (arXiv)
Henry Towsner, Priority Arguments and Epsilon Substitutions (accepted), (arXiv)
Jeremy Avigad, Henry Towsner, Functional Interpretation and Inductive Definitions, Journal of Symbolic Logic Volume 74, Issue 4, December 2009, Pages 1100-1120, (arXiv)
Henry Towsner, Ordinal Analysis by Transformations, Annals of Pure and Applied Logic Volume 157, Issues 2-3, February 2009, Pages 269-280, (PDF)
Jeremy Avigad, Philipp Gerhardy, Henry Towsner, Local Stability of Ergodic Averages, Transactions of the AMS Vol 362, Issue 1, January 2010, Pages 261-288, (arXiv)
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)