| Publication | Date of Publication | Type |
|---|
Banach’s theorem in higher-order reverse mathematics
Computability | 2023-11-30 | Paper |
Reverse mathematics and Weihrauch analysis motivated by finite complexity theory
Computability | 2022-02-28 | Paper |
Combinatorial principles equivalent to weak induction
Computability | 2020-11-09 | Paper |
Leaf management
Computability | 2020-11-09 | Paper |
Using Ramsey's theorem once
Archive for Mathematical Logic | 2019-09-19 | Paper |
Reverse mathematics and colorings of hypergraphs
Archive for Mathematical Logic | 2019-07-04 | Paper |
J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp.
The Bulletin of Symbolic Logic | 2018-08-13 | Paper |
Reverse mathematics of matroids
Computability and Complexity | 2017-04-04 | Paper |
Reverse mathematics and marriage problems with finitely many solutions
Archive for Mathematical Logic | 2016-11-01 | Paper |
On uniform relationships between combinatorial problems
Transactions of the American Mathematical Society | 2016-03-29 | Paper |
On uniform relationships between combinatorial problems
Transactions of the American Mathematical Society | 2016-03-29 | Paper |
Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction
The Journal of Symbolic Logic | 2016-03-22 | Paper |
Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction
The Journal of Symbolic Logic | 2016-03-22 | Paper |
Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles
The Bulletin of Symbolic Logic | 2016-03-21 | Paper |
| Disguising induction: proofs of the pigeonhole principle for trees | 2016-01-27 | Paper |
On the existence of a connected component of a graph
Computability | 2015-10-20 | Paper |
Reverse mathematics and marriage problems with unique solutions
Archive for Mathematical Logic | 2015-02-23 | Paper |
Generics for computable Mathias forcing
Annals of Pure and Applied Logic | 2014-06-06 | Paper |
Reverse mathematics and algebraic field extensions
Computability | 2014-04-30 | Paper |
More reverse mathematics of the Heine-Borel theorem
Journal of Logic and Analysis | 2012-12-17 | Paper |
Reverse mathematics, trichotomy and dichotomy
Journal of Logic and Analysis | 2012-12-17 | Paper |
On uniform relationships between combinatorial problems
(available as arXiv preprint) | 2012-12-01 | Paper |
On Mathias generic sets
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Hilbert versus Hindman
Archive for Mathematical Logic | 2012-02-10 | Paper |
Reverse mathematics and uniformity in proofs without excluded middle
Notre Dame Journal of Formal Logic | 2011-06-03 | Paper |
Ramsey's theorem for trees: the polarized tree theorem and notions of stability
Archive for Mathematical Logic | 2010-04-15 | Paper |
Partitions of trees and \({{\text \textsf{ACA}}^\prime_{0}}\)
Archive for Mathematical Logic | 2009-05-06 | Paper |
The polarized Ramsey's theorem
Archive for Mathematical Logic | 2009-04-27 | Paper |
Reverse mathematics, computability, and partitions of trees
Journal of Symbolic Logic | 2009-03-25 | Paper |
| scientific article; zbMATH DE number 5294801 (Why is no real title available?) | 2008-07-01 | Paper |
Representations of Reals in Reverse Mathematics
Bulletin Polish Acad. Sci. Math. | 2008-02-01 | Paper |
Reverse mathematics of separably closed sets
Archive for Mathematical Logic | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2236636 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2236628 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2236637 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2236635 (Why is no real title available?) | 2005-12-08 | Paper |
Hindman's theorem, ultrafilters, and reverse mathematics
Journal of Symbolic Logic | 2005-08-29 | Paper |
Minima of initial segments of infinite sequences of reals
Mathematical Logic Quarterly | 2004-03-15 | Paper |
Reverse mathematics and rank functions for directed graphs
Archive for Mathematical Logic | 2001-09-11 | Paper |
| scientific article; zbMATH DE number 1426316 (Why is no real title available?) | 2000-04-02 | Paper |
Ordinal inequalities, transfinite induction, and reverse mathematics
Journal of Symbolic Logic | 2000-02-08 | Paper |
Reverse Mathematics and Recursive Graph Theory
Mathematical Logic Quarterly | 1999-08-19 | Paper |
| scientific article; zbMATH DE number 1187507 (Why is no real title available?) | 1999-03-07 | Paper |
Reverse Mathematics and Ordinal Multiplication
Mathematical Logic Quarterly | 1999-01-06 | Paper |
Reverse mathematics of prime factorization of ordinals
Archive for Mathematical Logic | 1998-08-10 | Paper |
Infinite versions of some problems from finite complexity theory
Notre Dame Journal of Formal Logic | 1998-03-12 | Paper |
Derived sequences and reverse mathematics
Mathematical Logic Quarterly | 1995-01-24 | Paper |
Embeddings of countable closed sets and reverse mathematics
Archive for Mathematical Logic | 1994-04-21 | Paper |
Reverse mathematics and ordinal exponentiation
Annals of Pure and Applied Logic | 1994-03-10 | Paper |
Reverse mathematics and homeomorphic embeddings
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
Connected components of graphs and reverse mathematics
Archive for Mathematical Logic | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4148082 (Why is no real title available?) | 1990-01-01 | Paper |
Weak comparability of well orderings and reverse mathematics
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4063093 (Why is no real title available?) | 1987-01-01 | Paper |
