Henry Towsner - RankMe

29 papers Journal 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Higher-arity PAC learning, VC dimension and packing lemma. CoRR Artem Chernikov, Henry Towsner
2025	J	`jnl`	Joseph Mileti. Modern Mathematical Logic . Cambridge University Press, Cambridge, 2022, xiv + 502 pp. Bull. Symb. Log. Henry Towsner
2025	J	`jnl`	Proofs that Modify Proofs, 1/2. CoRR Henry Towsner
2024	J	`jnl`	Perfect stable regularity lemma and slice-wise stable hypergraphs. CoRR Artem Chernikov, Henry Towsner
2024	J	`jnl`	What do ultraproducts remember about the original structures? J. Log. Comput. Henry Towsner
2023	J	`jnl`	Borel combinatorics fail in HYP. J. Math. Log. Henry Towsner, Rose Weisshaar, Linda Westrick
2020	J	`jnl`	Constructing sequences one step at a time. J. Math. Log. Henry Towsner
2020	J	`jnl`	Hypergraph regularity and higher arity VC-dimension. CoRR Artem Chernikov, Henry Towsner
2018	J	`jnl`	Epsilon substitution for ID Arch. Math. Log. Henry Towsner
2018	J	`jnl`	Relative exchangeability with equivalence relations. Arch. Math. Log. Harry Crane, Henry Towsner
2018	J	`jnl`	Relatively exchangeable Structures. J. Symb. Log. Harry Crane, Henry Towsner
2017	J	`jnl`	Computable Ramsey's theorem for pairs needs infinitely many Π Arch. Math. Log. Gregory Igusa, Henry Towsner
2016	J	`jnl`	Reinhard Kahle and Michael Rathjen, editors, Gentzen's Centenary: The Quest for Consistency, Springer, 2015. Bull. Symb. Log. Henry Towsner
2016	J	`jnl`	Separating principles below WKL0. Math. Log. Q. Stephen Flood, Henry Towsner
2015	J	`jnl`	Dividing and weak quasi-dimensions in arbitrary theories. Arch. Math. Log. Isaac Goldbring, Henry Towsner
2015	—	`ch.`	Infinitary Methods in Finite Model Theory. Logic Without Borders Steven Lindell, Henry Towsner, Scott Weinstein
2015	J	`jnl`	On maximum conservative extensions. Comput. Henry Towsner
2014	J	`jnl`	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. Henry Towsner
2014	J	`jnl`	Ultrafilters in reverse mathematics. J. Math. Log. Henry Towsner
2013	J	`jnl`	Partial impredicativity in reverse mathematics. J. Symb. Log. Henry Towsner
2013	J	`jnl`	Separating Principles below Ramsey's Theorem for Pairs. J. Math. Log. Manuel Lerman, Reed Solomon, Henry Towsner
2012	J	`jnl`	A Simple Proof and Some Difficult Examples for Hindman's Theorem. Notre Dame J. Formal Log. Henry Towsner
2012	J	`jnl`	A correspondence principle for the Gowers norms. J. Log. Anal. Henry Towsner
2011	J	`jnl`	A combinatorial proof of the Dense Hindman's Theorem. Discret. Math. Henry Towsner
2011	J	`jnl`	Hindman's theorem: an ultrafilter argument in second order arithmetic. J. Symb. Log. Henry Towsner
2009	J	`jnl`	Functional interpretation and inductive definitions. J. Symb. Log. Jeremy Avigad, Henry Towsner
2009	J	`jnl`	Ordinal analysis by transformations. Ann. Pure Appl. Log. Henry Towsner
2005	J	`jnl`	Epsilon substitution for transfinite induction. Arch. Math. Log. Henry Towsner
2004	J	`jnl`	A realizability interpretation for classical analysis. Arch. Math. Log. Henry Towsner