| Publication | Date of Publication | Type |
|---|
A classification of incompleteness statements
Canadian Mathematical Bulletin | 2026-02-03 | Paper |
Book review of: J. Mileti, Modern mathematical logic
The Bulletin of Symbolic Logic | 2025-11-18 | Paper |
A removal lemma for ordered hypergraphs
Proceedings of the London Mathematical Society. Third Series | 2025-01-31 | Paper |
Explicit polynomial bounds on prime ideals in polynomial rings over fields
Pacific Journal of Mathematics | 2020-08-10 | Paper |
Towards an effective theory of absolutely continuous measures
(available as arXiv preprint) | 2020-02-03 | Paper |
Infinitary Methods in Finite Model Theory
Logic Without Borders | 2020-02-03 | Paper |
Nonstandard convergence gives bounds on jumps
The New York Journal of Mathematics | 2019-10-17 | Paper |
Nonstandard convergence gives bounds on jumps
The New York Journal of Mathematics | 2019-10-17 | Paper |
An inverse Ackermannian lower bound on the local unconditionality constant of the James space
(available as arXiv preprint) | 2019-02-18 | Paper |
A short nonalgorithmic proof of the containers theorem for hypergraphs
Proceedings of the American Mathematical Society | 2019-02-12 | Paper |
Proof mining and effective bounds in differential polynomial rings
Advances in Mathematics | 2019-01-18 | Paper |
An analytic approach to sparse hypergraphs: hypergraph removal
Discrete Analysis | 2019-01-09 | Paper |
Explicit sentences distinguishing McDuff's \(\mathrm{II}_1\) factors
Israel Journal of Mathematics | 2018-11-13 | Paper |
Epsilon substitution for \(ID_1\) via cut-elimination
Archive for Mathematical Logic | 2018-08-16 | Paper |
Relative exchangeability with equivalence relations
Archive for Mathematical Logic | 2018-08-16 | Paper |
Relatively exchangeable structures
Journal of Symbolic Logic | 2018-08-10 | Paper |
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.
The Bulletin of Symbolic Logic | 2017-07-21 | Paper |
Computable Ramsey's theorem for pairs needs infinitely many \(\Pi ^0_2\) sets
Archive for Mathematical Logic | 2017-02-24 | Paper |
Separating principles below \(\mathsf{WKL}_0\)
Mathematical Logic Quarterly | 2017-02-01 | Paper |
<i>σ</i>-algebras for quasirandom hypergraphs
Random Structures & Algorithms | 2017-01-10 | Paper |
Randomness and non-ergodic systems
Moscow Mathematical Journal | 2016-04-22 | Paper |
Randomness and non-ergodic systems
Moscow Mathematical Journal | 2016-04-22 | Paper |
| The structure of combinatorial Markov processes | 2016-03-18 | Paper |
Book review of: J. von Plato, Elements of logical reasoning
The Mathematical Intelligencer | 2015-12-16 | Paper |
Dividing and weak quasi-dimensions in arbitrary theories
Archive for Mathematical Logic | 2015-11-18 | Paper |
On maximum conservative extensions
Computability | 2015-07-01 | Paper |
Ultrafilters in reverse mathematics
Journal of Mathematical Logic | 2014-09-05 | Paper |
An approximate logic for measures
Israel Journal of Mathematics | 2014-06-25 | Paper |
Separating principles below Ramsey's theorem for pairs
Journal of Mathematical Logic | 2014-03-10 | Paper |
Partial impredicativity in reverse mathematics
Journal of Symbolic Logic | 2013-06-24 | Paper |
Partial impredicativity in reverse mathematics
Journal of Symbolic Logic | 2013-06-24 | Paper |
A correspondence principle for the Gowers norms
Journal of Logic and Analysis | 2012-12-17 | Paper |
Transfinite approximation of Hindman's theorem
Israel Journal of Mathematics | 2012-11-13 | Paper |
A simple proof and some difficult examples for Hindman's theorem
Notre Dame Journal of Formal Logic | 2012-06-01 | Paper |
A simple proof and some difficult examples for Hindman's theorem
Notre Dame Journal of Formal Logic | 2012-06-01 | Paper |
A combinatorial proof of the dense Hindman's theorem
Discrete Mathematics | 2011-08-08 | Paper |
Priority Arguments and Epsilon Substitutions
(available as arXiv preprint) | 2011-05-31 | Paper |
Hindman's theorem: an ultrafilter argument in second order arithmetic
Journal of Symbolic Logic | 2011-03-18 | Paper |
Hindman's theorem: an ultrafilter argument in second order arithmetic
Journal of Symbolic Logic | 2011-03-18 | Paper |
Metastability in the Furstenberg-Zimmer tower
Fundamenta Mathematicae | 2011-01-11 | Paper |
Local stability of ergodic averages
Transactions of the American Mathematical Society | 2010-02-02 | Paper |
Functional interpretation and inductive definitions
Journal of Symbolic Logic | 2010-01-07 | Paper |
Convergence of diagonal ergodic averages
Ergodic Theory and Dynamical Systems | 2009-09-29 | Paper |
Ordinal analysis by transformations
Annals of Pure and Applied Logic | 2009-03-25 | Paper |
Epsilon substitution for transfinite induction
Archive for Mathematical Logic | 2005-05-26 | Paper |
A realizability interpretation for classical analysis
Archive for Mathematical Logic | 2005-02-11 | Paper |
