| Publication | Date of Publication | Type |
|---|
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE
Journal of Symbolic Logic | 2024-04-05 | Paper |
ON COHESIVE POWERS OF LINEAR ORDERS
Journal of Symbolic Logic | 2023-09-11 | Paper |
| Metric fixed point theory and partial impredicativity | 2023-02-17 | Paper |
An inside/outside Ramsey theorem and recursion theory
Transactions of the American Mathematical Society | 2022-02-23 | Paper |
| Effective powers of $\omega$ over $\Delta_2$ cohesive sets and infinite $\Pi_1$ sets without $\Delta_2$ cohesive subsets | 2022-02-10 | Paper |
Ordinal analysis of partial combinatory algebras
Journal of Symbolic Logic | 2021-12-09 | Paper |
Ordinal analysis of partial combinatory algebras
(available as arXiv preprint) | 2020-10-23 | Paper |
Ekeland's variational principle in weak and strong systems of arithmetic
Selecta Mathematica. New Series | 2020-10-13 | Paper |
The strength of compactness for countable complete linear orders
Computability | 2020-09-08 | Paper |
Cohesive powers of linear orders
(available as arXiv preprint) | 2020-05-12 | Paper |
Randomness notions and reverse mathematics
Journal of Symbolic Logic | 2020-04-17 | Paper |
Randomness notions and reverse mathematics
Journal of Symbolic Logic | 2020-04-17 | Paper |
Comparing the degrees of enumerability and the closed Medvedev degrees
Archive for Mathematical Logic | 2019-07-04 | Paper |
On the logical strengths of partial solutions to mathematical problems
Transactions of the London Mathematical Society | 2018-05-25 | Paper |
Randomness and semimeasures
Notre Dame Journal of Formal Logic | 2017-08-17 | Paper |
Randomness and semimeasures
Notre Dame Journal of Formal Logic | 2017-08-17 | Paper |
Randomness and semimeasures
Notre Dame Journal of Formal Logic | 2017-08-17 | Paper |
Honest elementary degrees and degrees of relative provability without the cupping property
Annals of Pure and Applied Logic | 2017-03-16 | Paper |
Honest elementary degrees and degrees of relative provability without the cupping property
Annals of Pure and Applied Logic | 2017-03-16 | Paper |
The reverse mathematics of the Tietze extension theorem
Proceedings of the American Mathematical Society | 2016-10-19 | Paper |
The reverse mathematics of the Tietze extension theorem
Proceedings of the American Mathematical Society | 2016-10-19 | Paper |
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Archive for Mathematical Logic | 2016-05-13 | Paper |
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Archive for Mathematical Logic | 2016-05-13 | 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 |
The reverse mathematics of the Tietze extension theorem
(available as arXiv preprint) | 2016-02-17 | Paper |
Universality, optimality, and randomness deficiency
Annals of Pure and Applied Logic | 2015-06-30 | Paper |
Reverse mathematics and algebraic field extensions
Computability | 2014-04-30 | 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 |
Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\)
Archive for Mathematical Logic | 2012-05-03 | Paper |
Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes
Annals of Pure and Applied Logic | 2012-04-13 | Paper |
Coding true arithmetic in the Medvedev and Muchnik degrees
Journal of Symbolic Logic | 2011-03-18 | Paper |
Characterizing the join-irreducible Medvedev degrees
Notre Dame Journal of Formal Logic | 2011-03-07 | Paper |
