Publications (40)
Ultrafilters in Reverse Mathematics
Henry Towsner
A Simple Proof and Some Difficult Examples for Hindman's Theorem
Henry Towsner
Relatively exchangeable structures
Harry Crane, Henry Towsner
Randomness and Non-ergodic Systems
Johanna N. Y. Franklin, Henry Towsner
On Maximum Conservative Extensions
Henry Towsner
A Combinatorial Proof of the Dense Hindman Theorem
Henry Towsner
An Analytic Approach to Sparse Hypergraphs: Hypergraph Removal
Henry Towsner
Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic
Henry Towsner
Separating principles below Ramsey's Theorem for Pairs
Manuel Lerman, Reed Solomon, Henry Towsner
A Correspondence Principle for the Gowers Norms
Henry Towsner
More or Less Uniform Convergence
Henry Towsner
A General Correspondence between Averages and Integrals
Henry Towsner
The structure of combinatorial Markov processes
Harry Crane, Henry Towsner
Separating Principles Below WKL0
Stephen Flood, Henry Towsner
Explicit sentences distinguishing McDuff's II$_1$ factors
Isaac Goldbring, Bradd Hart, Henry Towsner
Relative exchangeability with equivalence relations
Harry Crane, Henry Towsner
Proof mining and effective bounds in differential polynomial rings
William Simmons, Henry Towsner
Computable Ramsey's Theorem for Pairs Needs Infinitely Many Pi-0-2 Sets
Gregory Igusa, Henry Towsner
Partial Impredicativity in Reverse Mathematics
Henry Towsner
Towards an Effective Theory of Absolutely Continuous Measures
Henry Towsner
Constructing Sequences One Step at a Time
Henry Towsner
Nonstandard Convergence Gives Bounds on Jumps
Henry Towsner
Functional interpretation and inductive definitions
Jeremy Avigad, Henry Towsner
Limits of Sequences of Markov Chains
Henry Towsner
A Model Theoretic Proof of Szemerédi's Theorem
Henry Towsner
A short nonalgorithmic proof of the containers theorem for hypergraphs
Anton Bernshteyn, Michelle Delcourt, Henry Towsner +1
Epsilon Substitution for $ID_1$ via Cut-Elimination
Henry Towsner
Dividing and weak quasidimensions in arbitary theories
Isaac Goldbring, Henry Towsner
Transfinite Approximation of Hindman's Theorem
Mathias Beiglböck, Henry Towsner
Priority Arguments and Epsilon Substitutions
Henry Towsner
Local stability of ergodic averages
Jeremy Avigad, Philipp Gerhardy, Henry Towsner
Metastability and the Furstenberg-Zimmer Tower II: Polynomial and Multidimensional Szemeredi's Theorem
Henry Towsner
Sigma-Algebras for Quasirandom Hypergraphs
Henry Towsner
Metastability in the Furstenberg-Zimmer tower
Jeremy Avigad, Henry Towsner
An approximate logic for measures
Isaac Goldbring, Henry Towsner
Convergence of Diagonal Ergodic Averages
Henry Towsner
A Worked Example of the Functional Interpretation
Henry Towsner
Erdos-Moser and ISigma_2
Henry Towsner, Keita Yokoyama
An Inverse Ackermannian Lower Bound on the Local Unconditionality Constant of the James Space
Henry Towsner
The Regularity Lemma with bounded VC Dimension
Henry Towsner