BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Henry Towsner

Henry Towsner contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.COmath.DSmath.AC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

Borel combinatorics fail in HYP

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, that the Borel Dual Ramsey Theorem fails, and that every Borel d-regular bipartite graph has a Borel perfect matching, among other examples. Therefore, the Borel Dual Ramsey Theorem and several theorems of descriptive combinatorics are not theories of hyperarithmetic analysis. In the case of the Borel Dual Ramsey Theorem, this answers a question of Astor, Dzhafarov, Montalban, Solomon & the third author.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A Removal Lemma for Ordered Hypergraphs

We prove a removal lemma for induced ordered hypergraphs, simultaneously generalizing Alon--Ben-Eliezer--Fischer&#39;s removal lemma for ordered graphs and the induced hypergraph removal lemma. That is, we show that if an ordered hypergraph $(V,G,<)$ has few induced copies of a small ordered hypergraph $(W,H,\prec)$ then there is a small modification $G&#39;$ so that $(V,G&#39;,<)$ has no induced copies of $(W,H,\prec)$. (Note that we do \emph{not} need to modify the ordering $<$.) We give our proof in the setting of an ultraproduct (that is, a Keisler graded probability space), where we can give an abstract formulation of hypergraph removal in terms of sequences of $σ$-algebras. We then show that ordered hypergraphs can be viewed as hypergraphs where we view the intervals as an additional notion of a ``very structured&#39;&#39; set. Along the way we give an explicit construction of the bijection between the ultraproduct limit object and the corresponding hyerpgraphon.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Explicit polynomial bounds on prime ideals in polynomial rings over fields

Suppose $I$ is an ideal of a polynomial ring over a field, $I\subseteq k[x_1,\ldots,x_n]$, and whenever $fg\in I$ with degree $\leq b$, then either $f\in I$ or $g\in I$. When $b$ is sufficiently large, it follows that $I$ is prime. Schmidt-Göttsch proved that &#34;sufficiently large&#34; can be taken to be a polynomial in the degree of generators of $I$ (with the degree of this polynomial depending on $n$). However Schmidt-Göttsch used model-theoretic methods to show this, and did not give any indication of how large the degree of this polynomial is. In this paper we obtain an explicit bound on $b$, polynomial in the degree of the generators of $I$. We also give a similar bound for detecting maximal ideals in $k[x_1,\ldots,x_n]$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Separating principles below Ramsey&#39;s Theorem for Pairs

In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from $\RT$, Ramsey&#39;s Theorem for Pairs. These principles tend to fall outside of the &#34;big five&#34; systems of reverse mathematics and a complicated picture of subsystems below $\RT$ has emerged. In this paper, we answer two open questions concerning these subsystems, specifically that $\ADS$ is not equivalent to $\CAC$ and that $\EM$ is not equivalent to $\RT$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A Combinatorial Proof of the Dense Hindman Theorem

The Dense Hindman&#39;s Theorem states that, in any finite coloring of the integers, one may find a single color and a &#34;dense&#34; set $B_1$, for each $b_1\in B_1$ a &#34;dense&#34; set $B_2^{b_1}$ (depending on $b_1$), for each $b_2\in B_2^{b_1}$ a &#34;dense&#34; set $B_3^{b_1,b_2}$ (depending on $b_1,b_2$), and so on, such that for any such sequence of $b_i$, all finite sums belong to the chosen color. (Here density is often taken to be &#34;piecewise syndetic&#34;, but the proof is unchanged for any notion of density satisfying certain properties.) This theorem is an example of a combinatorial statement for which the only known proof requires the use of ultrafilters or a similar infinitary formalism. Here we give a direct combinatorial proof of the theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

An approximate logic for measures

We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence and to give a short proof of the Szemerédi Regularity Lemma. We also derive some connections between the model-theoretic notion of stability and the Gowers uniformity norms from combinatorics.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Partial Impredicativity in Reverse Mathematics

In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion. A main cause of this phenomenon is the proof of a $Π^1_2$ sentence from the theory {\Pioo}. Using methods based on the functional interpretation, we introduce a family of weakenings of {\Pioo} and use them to give new upper bounds for the Nash-Williams Theorem of wqo theory and Menger&#39;s Theorem for countable graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Transfinite Approximation of Hindman&#39;s Theorem

Hindman&#39;s Theorem states that in any finite coloring of the integers, there is an infinite set all of whose finite sums belong to the same color. This is much stronger than the corresponding finite form, stating that in any finite coloring of the integers there are arbitrarily long finite sets with the same property. We extend the finite form of Hindman&#39;s Theorem to a &#34;transfinite&#34; version for each countable ordinal, and show that Hindman&#39;s Theorem is equivalent to the appropriate transfinite approximation holding for every countable ordinal. We then give a proof of Hindman&#39;s Theorem by directly proving these transfinite approximations.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Metastability in the Furstenberg-Zimmer tower

According to the Furstenberg-Zimmer structure theorem, every measure-preserving system has a maximal distal factor, and is weak mixing relative to that factor. Furstenberg and Katznelson used this structural analysis of measure-preserving systems to provide a perspicuous proof of Szemerédi&#39;s theorem. Beleznay and Foreman showed that, in general, the transfinite construction of the maximal distal factor of a separable measure-preserving system can extend arbitrarily far into the countable ordinals. Here we show that the Furstenberg-Katznelson proof does not require the full strength of the maximal distal factor, in the sense that the proof only depends on a combinatorial weakening of its properties. We show that this combinatorially weaker property obtains fairly low in the transfinite construction, namely, by the $ω^{ω^ω}$th level.

0 citations0 reviewsNo code linkedOpen access