Henry Towsner

Generating author description...

All published works

Action	Title	Year	Authors
+	A removal lemma for ordered hypergraphs	2024	Henry Towsner
+	Erdős–Moser and IΣ2	2024	Henry Towsner Keita Yokoyama
+ PDF Chat	Intersecting sets in probability spaces and Shelah's classification	2024	Artem Chernikov Henry Towsner
+ PDF Chat	On the equivalence of quasirandomness and exchangeable representations independent from lower-order variables	2024	Leonardo N. Coregliano Henry Towsner
+ PDF Chat	Proofs that Modify Proofs	2024	Henry Towsner
+ PDF Chat	Perfect stable regularity lemma and slice-wise stable hypergraphs	2024	Artem Chernikov Henry Towsner
+ PDF Chat	Metric fixed point theory and partial impredicativity	2023	David Fernández‐Duque Paul Shafer Henry Towsner Kazunori Yokoyama
+ PDF Chat	More or Less Uniform Convergence	2023	Henry Towsner
+ PDF Chat	What do ultraproducts remember about the original structures?	2023	Henry Towsner
+	Metric fixed point theory and partial impredicativity	2023	David Fernández–Duque Paul Shafer Henry Towsner Keita Yokoyama
+	An Aldous--Hoover Theorem for Radon Distributions	2023	Henry Towsner
+	From Saturated Embedding Tests to Explicit Algorithms	2023	Henry Towsner
+ PDF Chat	Borel combinatorics fail in <i>HYP</i>	2022	Henry Towsner Rose Weisshaar Linda Brown Westrick
+	A Removal Lemma for Ordered Hypergraphs	2021	Henry Towsner
+	Borel combinatorics fail in HYP	2021	Henry Towsner Rose Weisshaar Linda Brown Westrick
+	Hypergraph regularity and higher arity VC-dimension	2020	Artem Chernikov Henry Towsner
+ PDF Chat	Explicit polynomial bounds on prime ideals in polynomial rings over fields	2020	William Simmons Henry Towsner
+	Algorithmic randomness in ergodic theory	2020	Henry Towsner
+ PDF Chat	Constructing sequences one step at a time	2020	Henry Towsner
+	Hypergraph regularity and higher arity VC-dimension	2020	Artem Chernikov Henry Towsner
+ PDF Chat	Proof mining and effective bounds in differential polynomial rings	2018	William Simmons Henry Towsner
+	A short nonalgorithmic proof of the containers theorem for hypergraphs	2018	Anton Bernshteyn Michelle Delcourt Henry Towsner Anush Tserunyan
+ PDF Chat	Explicit sentences distinguishing Mcduff’s II1 factors	2018	Isaac Goldbring Bradd Hart Henry Towsner
+	Erdos-Moser and ISigma_2	2018	Henry Towsner Keita Yokoyama
+ PDF Chat	RELATIVELY EXCHANGEABLE STRUCTURES	2018	Harry Crane Henry Towsner
+	A short nonalgorithmic proof of the containers theorem for hypergraphs	2018	Anton Bernshteyn Michelle Delcourt Henry Towsner Anush Tserunyan
+	A short noninductive proof of the containers theorem for hypergraphs	2018	Anton Bernshteyn Michelle Delcourt Henry Towsner Anush Tserunyan
+ PDF Chat	An analytic approach to sparse hypergraphs: hypergraph removal	2018	Henry Towsner
+	What do ultraproducts remember about the original structures?	2018	Henry Towsner
+	A short nonalgorithmic proof of the containers theorem for hypergraphs	2018	Anton Bernshteyn Michelle Delcourt Henry Towsner Anush Tserunyan
+	Erdos-Moser and ISigma_2	2018	Henry Towsner Keita Yokoyama
+ PDF Chat	Relative exchangeability with equivalence relations	2017	Harry Crane Henry Towsner
+	Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination	2017	Henry Towsner
+	Nonstandard Convergence Gives Bounds on Jumps	2017	Henry Towsner
+	Explicit sentences distinguishing McDuff's II$_1$ factors	2017	Isaac Goldbring Bradd Hart Henry Towsner
+	Explicit sentences distinguishing McDuff's II$_1$ factors	2017	Isaac Goldbring Bradd Hart Henry Towsner
+	Nonstandard Convergence Gives Bounds on Jumps	2017	Henry Towsner
+	More or Less Uniform Convergence	2017	Henry Towsner
+ PDF Chat	Computable Ramsey’s theorem for pairs needs infinitely many $$\Pi ^0_2$$ Π 2 0 sets	2016	Gregory Igusa Henry Towsner
+ PDF Chat	Separating principles below	2016	Stephen Flood Henry Towsner
+	Proof mining and effective bounds in differential polynomial rings	2016	William Simmons Henry Towsner
+	Constructing Sequences One Step at a Time	2016	Henry Towsner
+ PDF Chat	<i>σ</i>‐algebras for quasirandom hypergraphs	2016	Henry Towsner
+	Relative exchangeability with equivalence relations	2016	Harry Crane Henry Towsner
+	The structure of combinatorial Markov processes	2016	Harry Crane Henry Towsner
+	Relative exchangeability with equivalence relations	2016	Harry Crane Henry Towsner
+	Constructing Sequences One Step at a Time	2016	Henry Towsner
+	Proof mining and effective bounds in differential polynomial rings	2016	William Simmons Henry Towsner
+ PDF Chat	Dividing and weak quasi-dimensions in arbitrary theories	2015	Isaac Goldbring Henry Towsner
+	Relatively exchangeable structures	2015	Harry Crane Henry Towsner
+	Infinitary Methods in Finite Model Theory	2015	Steven Lindell Henry Towsner Scott Weinstein
+	An Inverse Ackermannian Lower Bound on the Local Unconditionality Constant of the James Space	2015	Henry Towsner
+	Epsilon Substitution for $ID_1$ via Cut-Elimination	2015	Henry Towsner
+	Computable Ramsey's Theorem for Pairs Needs Infinitely Many Pi-0-2 Sets	2015	Gregory Igusa Henry Towsner
+	A Worked Example of the Functional Interpretation	2015	Henry Towsner
+	Towards an Effective Theory of Absolutely Continuous Measures	2015	Henry Towsner
+	AN INVERSE ACKERMANNIAN LOWER BOUND ON THE LOCAL UNCONDITIONALITY CONSTANT OF THE	2015	Henry Towsner
+ PDF Chat	On maximum conservative extensions	2015	Henry Towsner
+ PDF Chat	Limits of sequences of Markov chains	2015	Henry Towsner
+	Relatively exchangeable structures	2015	Harry Crane Henry Towsner
+	Separating Principles Below WKL0	2014	Stephen Flood Henry Towsner
+	Dividing and weak quasidimensions in arbitary theories	2014	Isaac Goldbring Henry Towsner
+	Limits of Sequences of Markov Chains	2014	Henry Towsner
+ PDF Chat	Randomness and Non-Ergodic Systems	2014	Johanna N. Y. Franklin Henry Towsner
+	Dividing and weak quasidimensions in arbitary theories	2014	Isaac Goldbring Henry Towsner
+	Separating Principles Below WKL0	2014	Stephen Flood Henry Towsner
+	Limits of Sequences of Markov Chains	2014	Henry Towsner
+ PDF Chat	Ultrafilters in reverse mathematics	2013	Henry Towsner
+	Sigma-Algebras for Quasirandom Hypergraphs	2013	Henry Towsner
+ PDF Chat	An approximate logic for measures	2013	Isaac Goldbring Henry Towsner
+ PDF Chat	SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS	2013	Manuel Lerman Reed Solomon Henry Towsner
+ PDF Chat	Partial impredicativity in reverse mathematics	2013	Henry Towsner
+	The Regularity Lemma with bounded VC Dimension	2013	Henry Towsner
+	On Maximum Conservative Extensions	2013	Henry Towsner
+	Separating principles below Ramsey's Theorem for Pairs	2013	Manuel Lerman Henry Towsner
+	On Maximum Conservative Extensions	2013	Henry Towsner
+	The Regularity Lemma with bounded VC Dimension	2013	Henry Towsner
+	Sigma-Algebras for Quasirandom Hypergraphs	2013	Henry Towsner
+	Separating principles below Ramsey's Theorem for Pairs	2013	Manuel Lerman Reed Solomon Henry Towsner
+	Randomness and Non-ergodic Systems	2012	Johanna N. Y. Franklin Henry Towsner
+	An Analytic Approach to Sparse Hypergraphs: Hypergraph Removal	2012	Henry Towsner
+ PDF Chat	A Simple Proof and Some Difficult Examples for Hindman's Theorem	2012	Henry Towsner
+	Randomness and Non-ergodic Systems	2012	Johanna N. Y. Franklin Henry Towsner
+	An Analytic Approach to Sparse Hypergraphs: Hypergraph Removal	2012	Henry Towsner
+ PDF Chat	Transfinite approximation of Hindman’s theorem	2011	Mathias Beiglböck Henry Towsner
+	Ultrafilters in Reverse Mathematics	2011	Henry Towsner
+	Approximating Impredicativity in Reverse Mathematics	2011	Henry Towsner
+	Partial Impredicativity in Reverse Mathematics	2011	Henry Towsner
+	An approximate logic for measures	2011	Isaac Goldbring Henry Towsner
+ PDF Chat	A combinatorial proof of the Dense Hindman’s Theorem	2011	Henry Towsner
+ PDF Chat	Hindman's theorem: an ultrafilter argument in second order arithmetic	2011	Henry Towsner
+	2010 north american annual meeting of the association for symbolic logic	2011	Alexander Razborov Bob Coecke Zoé Chatzidakis Bjørn Kjos Nicolaas P. Landsman Lawrence S. Moss D. Raghavan Tom Scanlon Ernest Schimmerling Henry Towsner
+	Ultrafilters in Reverse Mathematics	2011	Henry Towsner
+	An approximate logic for measures	2011	Isaac Goldbring Henry Towsner
+	Partial Impredicativity in Reverse Mathematics	2011	Henry Towsner
+	Transfinite Approximation of Hindman's Theorem	2010	Mathias Beiglböck Henry Towsner
+	A Model Theoretic Proof of Szemerédi's Theorem	2010	Henry Towsner
+ PDF Chat	Metastability in the Furstenberg–Zimmer tower	2010	Jeremy Avigad Henry Towsner
+	A Combinatorial Proof of the Dense Hindman Theorem	2010	Henry Towsner
+	Transfinite Approximation of Hindman's Theorem	2010	Mathias Beiglböck Henry Towsner
+ PDF Chat	Functional interpretation and inductive definitions	2009	Jeremy Avigad Henry Towsner
+ PDF Chat	Local stability of ergodic averages	2009	Jeremy Avigad Philipp Gerhardy Henry Towsner
+	A Simple Proof and Some Difficult Examples for Hindman's Theorem	2009	Henry Towsner
+	A Simple Proof of Hindman's Theorem	2009	Henry Towsner
+	A Correspondence Principle for the Gowers Norms	2009	Henry Towsner
+ PDF Chat	Convergence of diagonal ergodic averages	2009	Henry Towsner
+	Metastability in the Furstenberg-Zimmer tower	2009	Jeremy Avigad Henry Towsner
+	Metastability and the Furstenberg-Zimmer Tower II: Polynomial and Multidimensional Szemeredi's Theorem	2009	Henry Towsner
+	Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic	2009	Henry Towsner
+	A Correspondence Principle for the Gowers Norms	2009	Henry Towsner
+	A Simple Proof and Some Difficult Examples for Hindman's Theorem	2009	Henry Towsner
+	Metastability in the Furstenberg-Zimmer tower	2009	Jeremy Avigad Henry Towsner
+	A General Correspondence between Averages and Integrals	2008	Henry Towsner
+	Priority Arguments and Epsilon Substitutions	2008	Henry Towsner
+	Some results in logic and ergodic theory	2008	Henry Towsner
+	Functional interpretation and inductive definitions	2008	Jeremy Avigad Henry Towsner

Common Coauthors

Coauthor	Papers Together
Isaac Goldbring	9
Harry Crane	7
Jeremy Avigad	6
Anush Tserunyan	4
Artem Chernikov	4
Keita Yokoyama	4
Anton Bernshteyn	4
Michelle Delcourt	4
William Simmons	3
Johanna N. Y. Franklin	3
Manuel Lerman	3
Stephen Flood	3
Mathias Beiglböck	3
Bradd Hart	3
Rose Weisshaar	2
Gregory Igusa	2
Linda Brown Westrick	2
Reed Solomon	2
David Fernández–Duque	2
Scott Weinstein	1
Bjørn Kjos	1
Lawrence S. Moss	1
Nicolaas P. Landsman	1
Paul Shafer	1
Zoé Chatzidakis	1
Paul Shafer	1
D. Raghavan	1
William Simmons	1
Philipp Gerhardy	1
Bob Coecke	1
Alexander Razborov	1
Leonardo N. Coregliano	1
Tom Scanlon	1
Kazunori Yokoyama	1
Ernest Schimmerling	1
Steven Lindell	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Norm convergence of multiple ergodic averages for commuting transformations	2008	Terence Tao	16
+	Stable group theory and approximate subgroups	2011	Ehud Hrushovski	13
+	Representations for partially exchangeable arrays of random variables	1981	David Aldous	13
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson	13
+	Applied Proof Theory: Proof Interpretations and Their Use in Mathematics	2008	Ulrich Kohlenbach	12
+ PDF Chat	An approximate logic for measures	2013	Isaac Goldbring Henry Towsner	12
+	Probabilistic Symmetries and Invariance Principles	2005	Olav Kallenberg	11
+	Graph limits and exchangeable random graphs	2007	Persi Diaconis Svante Janson	11
+	A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma	2007	Terence Tao	11
+ PDF Chat	Limits of dense graph sequences	2006	László Lovász Balázs Szegedy	11
+ PDF Chat	Hypergraph regularity and the multidimensional Szemerédi theorem	2007	William Timothy Gowers	10
+	Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions	1977	Harry Furstenberg	10
+	Gödel’s Functional (“Dialectica”) Interpretation	1998	Jeremy Avigad Solomon Feferman	9
+ PDF Chat	Local stability of ergodic averages	2009	Jeremy Avigad Philipp Gerhardy Henry Towsner	9
+ PDF Chat	On the strength of Ramsey's theorem for pairs	2001	Peter Cholak Carl G. Jockusch Theodore A. Slaman	8
+ PDF Chat	Nonconventional ergodic averages and nilmanifolds	2005	Bernard Host Bryna Kra	8
+	Finite sums from sequences within cells of a partition of N	1974	Neil Hindman	8
+	Regularity Lemma for k‐uniform hypergraphs	2004	Vojtěch Rödl Jozef Skokan	7
+	A new proof of Szemerédi's theorem	2001	W. T. Gowers	7
+	A variant of the hypergraph removal lemma	2006	Terence Tao	7
+	A measure-theoretic approach to the theory of dense hypergraphs	2012	Gábor Elek Balázs Szegedy	7
+ PDF Chat	A functional interpretation for nonstandard arithmetic	2012	Benno van den Berg Eyvind Martol Briseid Pavol Safarik	6
+ PDF Chat	An effective proof that open sets are Ramsey	1998	Jeremy Avigad	6
+	Limits of Hypergraphs, Removal and Regularity Lemmas. A Non-standard Approach	2007	Gábor Elek Balázs Szegedy	6
+ PDF Chat	Convergent sequences of dense graphs I: Subgraph frequencies, metric properties and testing	2008	Christian Borgs Jennifer Chayes L. Lovász Vera T. Sós K. Vesztergombi	6
+	Recurrence in Ergodic Theory and Combinatorial Number Theory	1981	Harry Furstenberg	6
+ PDF Chat	Convergence of diagonal ergodic averages	2009	Henry Towsner	6
+	None	2010	Leslie Ann Goldberg Mark Jerrum Marek Karpiński	6
+	The counting lemma for regular k-uniform hypergraphs	2006	Brendan Nagle Vojtěch Rödl Mathias Schacht	5
+ PDF Chat	<i>σ</i>‐algebras for quasirandom hypergraphs	2016	Henry Towsner	5
+	Limits, Regularity and Removal for Finite Structures	2014	Ashwini Aroskar James Cummings	5
+	A Constructive Ergodic Theorem	1986	Errett Bishop	5
+ PDF Chat	Some logical metatheorems with applications in functional analysis	2004	Ulrich Kohlenbach	5
+ PDF Chat	ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES	1958	Von Kurt Gödel	5
+ PDF Chat	INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES	2016	Nathanael Ackerman Cameron E. Freer Rehana Patel	5
+	Weak quasi‐randomness for uniform hypergraphs	2011	David Conlon Hiệp Hàn Yury Person Mathias Schacht	5
+ PDF Chat	SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS	2013	Manuel Lerman Reed Solomon Henry Towsner	5
+	Extremal problems on set systems	2002	Péter Frankl Vojtěch Rödl	4
+	A Simple Proof of Hindman's Theorem	2009	Henry Towsner	4
+	Quasi‐random classes of hypergraphs	1990	Fan Chung	4
+ PDF Chat	What do ultraproducts remember about the original structures?	2023	Henry Towsner	4
+	Weak hypergraph regularity and linear hypergraphs	2009	Yoshiharu Kohayakawa Brendan Nagle Vojtěch Rödl Mathias Schacht	4
+	Quasi‐random hypergraphs	1990	Fan Chung R. L. Graham	4
+ PDF Chat	Ordinal numbers and the Hilbert basis theorem	1988	Stephen G. Simpson	4
+	Lectures on the Hyperreals	1998	Robert Goldblatt	4
+	General logical metatheorems for functional analysis	2007	Philipp Gerhardy Ulrich Kohlenbach	4
+	Quasirandomness, Counting and Regularity for 3-Uniform Hypergraphs	2006	W. T. Gowers	4
+	Independent sets in hypergraphs	2014	József Balogh Robert Morris Wojciech Samotij	4
+	An infinitesimal approach to stochastic analysis	1984	H. Jerome Keisler	4
+ PDF Chat	The ergodic theoretical proof of Szemerédi’s theorem	1982	Hillel Fürstenberg Yitzhak Katznelson Donald Ornstein	4