95 citations · 154 across the 35 of their papers we have counts for
47 papers
From Saturated Embedding Tests to Explicit Algorithms
Henry Towsner
Quantifier elimination theorems show that each formula in a certain theory is equivalent to a formula of a specific form -- usually a quantifier-free one, sometimes in an extended…
An Aldous--Hoover Theorem for Radon Distributions
Henry Towsner
We show that the Aldous--Hoover Theorem, giving representations for exchangeable arrays of Borel-valued random variables, extends to random variables where the common distribution…
Borel combinatorics fail in HYP
Henry Towsner, Rose Weisshaar, Linda Westrick
We characterize the completely determined Borel subsets of HYP as exactly the omega_1^{ck} subsets of HYP. As a result, HYP believes there is a Borel well-ordering of the reals, th…
A Removal Lemma for Ordered Hypergraphs
Henry Towsner
We prove a removal lemma for induced ordered hypergraphs, simultaneously generalizing Alon--Ben-Eliezer--Fischer's removal lemma for ordered graphs and the induced hypergraph remov…
Hypergraph regularity and higher arity VC-dimension
Artem Chernikov, Henry Towsner
We generalize the fact that graphs with small VC-dimension can be approximated by rectangles, showing that hypergraphs with small VC_k-dimension (equivalently, omitting a fixed fin…
Explicit polynomial bounds on prime ideals in polynomial rings over fields
William Simmons, Henry Towsner
Suppose is an ideal of a polynomial ring over a field, , and whenever with degree , then either or . When i…