| 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 |
