Henry Towsner

Available identifiers

zbMath Open towsner.henryMaRDI QIDQ424578

List of research outcomes

Publication	Date of Publication	Type
Explicit polynomial bounds on prime ideals in polynomial rings over fields	2020-08-10	Paper
Towards an Effective Theory of Absolutely Continuous Measures	2020-02-03	Paper
Infinitary Methods in Finite Model Theory	2020-02-03	Paper
Nonstandard convergence gives bounds on jumps	2019-10-17	Paper
An Inverse Ackermannian Lower Bound on the Local Unconditionality Constant of the James Space	2019-02-18	Paper
A short nonalgorithmic proof of the containers theorem for hypergraphs	2019-02-12	Paper
Proof mining and effective bounds in differential polynomial rings	2019-01-18	Paper
An analytic approach to sparse hypergraphs: hypergraph removal	2019-01-09	Paper
Explicit sentences distinguishing McDuff's \(\mathrm{II}_1\) factors	2018-11-13	Paper
Epsilon substitution for \(ID_1\) via cut-elimination	2018-08-16	Paper
Relative exchangeability with equivalence relations	2018-08-16	Paper
RELATIVELY EXCHANGEABLE STRUCTURES	2018-08-10	Paper
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.	2017-07-21	Paper
Computable Ramsey's theorem for pairs needs infinitely many \(\Pi ^0_2\) sets	2017-02-24	Paper
Separating principles below	2017-02-01	Paper
σ-algebras for quasirandom hypergraphs	2017-01-10	Paper
Randomness and Non-ergodic Systems	2016-04-22	Paper
The structure of combinatorial Markov processes	2016-03-18	Paper
Book review of: J. von Plato, Elements of logical reasoning	2015-12-16	Paper
Dividing and weak quasi-dimensions in arbitrary theories	2015-11-18	Paper
On maximum conservative extensions	2015-07-01	Paper
Ultrafilters in reverse mathematics	2014-09-05	Paper
An approximate logic for measures	2014-06-25	Paper
SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS	2014-03-10	Paper
Partial impredicativity in reverse mathematics	2013-06-24	Paper
A correspondence principle for the Gowers norms	2012-12-17	Paper
Transfinite approximation of Hindman's theorem	2012-11-13	Paper
A simple proof and some difficult examples for Hindman's theorem	2012-06-01	Paper
A combinatorial proof of the dense Hindman's theorem	2011-08-08	Paper
Priority Arguments and Epsilon Substitutions	2011-05-31	Paper
Hindman's theorem: an ultrafilter argument in second order arithmetic	2011-03-18	Paper
Metastability in the Furstenberg–Zimmer tower	2011-01-11	Paper
Local stability of ergodic averages	2010-02-02	Paper
Functional interpretation and inductive definitions	2010-01-07	Paper
Convergence of diagonal ergodic averages	2009-09-29	Paper
Ordinal analysis by transformations	2009-03-25	Paper
Epsilon substitution for transfinite induction	2005-05-26	Paper
A realizability interpretation for classical analysis	2005-02-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Henry Towsner