Henry Towsner

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 12

Top Topics

Sequent Calculi

Pac Learnability

Binary Relations

Top Venues

Arch. Math. Log.

Bull. Symb. Log.

Publications

Artem Chernikov, Henry Towsner
Perfect stable regularity lemma and slice-wise stable hypergraphs. CoRR (2024)
Henry Towsner
What do ultraproducts remember about the original structures? J. Log. Comput. 34 (1) (2024)
Henry Towsner, Rose Weisshaar, Linda Westrick
Borel combinatorics fail in HYP. J. Math. Log. 23 (2) (2023)
Henry Towsner
Constructing sequences one step at a time. J. Math. Log. 20 (3) (2020)
Artem Chernikov, Henry Towsner
Hypergraph regularity and higher arity VC-dimension. CoRR (2020)
Harry Crane, Henry Towsner
Relative exchangeability with equivalence relations. Arch. Math. Log. 57 (5-6) (2018)
Harry Crane, Henry Towsner
Relatively exchangeable Structures. J. Symb. Log. 83 (2) (2018)
Henry Towsner
via cut-elimination. Arch. Math. Log. 57 (5-6) (2018)
Henry Towsner
-algebras for quasirandom hypergraphs. Random Struct. Algorithms 50 (1) (2017)
Gregory Igusa, Henry Towsner
sets. Arch. Math. Log. 56 (1-2) (2017)
Stephen Flood, Henry Towsner
Separating principles below WKL0. Math. Log. Q. 62 (6) (2016)
Henry Towsner
Reinhard Kahle and Michael Rathjen, editors, Gentzen's Centenary: The Quest for Consistency, Springer, 2015. Bull. Symb. Log. 22 (4) (2016)
Isaac Goldbring, Henry Towsner
Dividing and weak quasi-dimensions in arbitrary theories. Arch. Math. Log. 54 (7-8) (2015)
Henry Towsner
On maximum conservative extensions. Comput. 4 (1) (2015)
Henry Towsner
Ultrafilters in reverse mathematics. J. Math. Log. 14 (1) (2014)
Henry Towsner
Antonio Montalbán, Indecomposable linear orderings and hyperarithmetic analysis. Journal of Mathematical Logic, vol.6 (2006), no. 1, pp. 89-120. - Itay Neeman, The strength of Jullien's indecomposability theorem. Journal of Mathematical Logic, vol. 8 (2008), no. 1, pp. 93-119. - Itay Neeman, Necessary use ofinduction in a reversal. Journal of Symbolic Logic, vol. 76 (2011), no. 2, pp. 561-574. Bull. Symb. Log. 20 (3) (2014)
Manuel Lerman, Reed Solomon, Henry Towsner
Separating Principles below Ramsey's Theorem for Pairs. J. Math. Log. 13 (2) (2013)
Henry Towsner
Partial impredicativity in reverse mathematics. J. Symb. Log. 78 (2) (2013)
Henry Towsner
A correspondence principle for the Gowers norms. J. Log. Anal. 4 (2012)
Henry Towsner
A Simple Proof and Some Difficult Examples for Hindman's Theorem. Notre Dame J. Formal Log. 53 (1) (2012)
Henry Towsner
Hindman's theorem: an ultrafilter argument in second order arithmetic. J. Symb. Log. 76 (1) (2011)
Henry Towsner
A combinatorial proof of the Dense Hindman's Theorem. Discret. Math. 311 (14) (2011)
Henry Towsner
Ordinal analysis by transformations. Ann. Pure Appl. Log. 157 (2-3) (2009)
Jeremy Avigad, Henry Towsner
Functional interpretation and inductive definitions. J. Symb. Log. 74 (4) (2009)
Henry Towsner
Epsilon substitution for transfinite induction. Arch. Math. Log. 44 (4) (2005)
Henry Towsner
A realizability interpretation for classical analysis. Arch. Math. Log. 43 (7) (2004)