| Publication | Date of Publication | Type |
|---|
| Banach’s theorem in higher-order reverse mathematics | 2023-11-30 | Paper |
| Reverse mathematics and Weihrauch analysis motivated by finite complexity theory | 2022-02-28 | Paper |
| Combinatorial principles equivalent to weak induction | 2020-11-09 | Paper |
| Leaf management | 2020-11-09 | Paper |
| Using Ramsey's theorem once | 2019-09-19 | Paper |
| Reverse mathematics and colorings of hypergraphs | 2019-07-04 | Paper |
| J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp. | 2018-08-13 | Paper |
| Reverse Mathematics of Matroids | 2017-04-04 | Paper |
| Reverse mathematics and marriage problems with finitely many solutions | 2016-11-01 | Paper |
| On uniform relationships between combinatorial problems | 2016-03-29 | Paper |
| Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction | 2016-03-22 | Paper |
| Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles | 2016-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464620 | 2016-01-27 | Paper |
| On the existence of a connected component of a graph | 2015-10-20 | Paper |
| Reverse mathematics and marriage problems with unique solutions | 2015-02-23 | Paper |
| Generics for computable Mathias forcing | 2014-06-06 | Paper |
| Reverse Mathematics and Algebraic Field Extensions | 2014-04-30 | Paper |
| More reverse mathematics of the Heine-Borel Theorem | 2012-12-17 | Paper |
| Reverse mathematics, trichotomy, and dichotomy | 2012-12-17 | Paper |
| On uniform relationships between combinatorial problems | 2012-12-01 | Paper |
| On Mathias Generic Sets | 2012-08-14 | Paper |
| Hilbert versus Hindman | 2012-02-10 | Paper |
| Reverse mathematics and uniformity in proofs without excluded middle | 2011-06-03 | Paper |
| Ramsey's theorem for trees: the polarized tree theorem and notions of stability | 2010-04-15 | Paper |
| Partitions of trees and \({{\text \textsf{ACA}}^\prime_{0}}\) | 2009-05-06 | Paper |
| The polarized Ramsey's theorem | 2009-04-27 | Paper |
| Reverse mathematics, computability, and partitions of trees | 2009-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3508462 | 2008-07-01 | Paper |
| Representations of Reals in Reverse Mathematics | 2008-02-01 | Paper |
| Reverse mathematics of separably closed sets | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711887 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711879 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711888 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711886 | 2005-12-08 | Paper |
| Hindman's theorem, ultrafilters, and reverse mathematics | 2005-08-29 | Paper |
| Minima of initial segments of infinite sequences of reals | 2004-03-15 | Paper |
| Reverse mathematics and rank functions for directed graphs | 2001-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4950461 | 2000-04-02 | Paper |
| Ordinal inequalities, transfinite induction, and reverse mathematics | 2000-02-08 | Paper |
| Reverse Mathematics and Recursive Graph Theory | 1999-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3840692 | 1999-03-07 | Paper |
| Reverse Mathematics and Ordinal Multiplication | 1999-01-06 | Paper |
| Reverse mathematics of prime factorization of ordinals | 1998-08-10 | Paper |
| Infinite versions of some problems from finite complexity theory | 1998-03-12 | Paper |
| Derived sequences and reverse mathematics | 1995-01-24 | Paper |
| Embeddings of countable closed sets and reverse mathematics | 1994-04-21 | Paper |
| Reverse mathematics and ordinal exponentiation | 1994-03-10 | Paper |
| Reverse mathematics and homeomorphic embeddings | 1992-06-28 | Paper |
| Connected components of graphs and reverse mathematics | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3478406 | 1990-01-01 | Paper |
| Weak comparability of well orderings and reverse mathematics | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797180 | 1987-01-01 | Paper |
