| Publication | Date of Publication | Type |
|---|
Conservation strength of the infinite pigeonhole principle for trees
Israel Journal of Mathematics | 2024-06-25 | Paper |
Special Section: Computability Theory and the Foundation of Mathematics
Annals of the Japan Association for Philosophy of Science | 2023-03-09 | Paper |
| Conservation Strength of The Infinite Pigeonhole Principle for Trees | 2021-10-12 | Paper |
| scientific article; zbMATH DE number 7377981 (Why is no real title available?) | 2021-08-03 | Paper |
The strength of Ramsey's theorem for pairs over trees. I: Weak König's lemma
Transactions of the American Mathematical Society | 2021-08-02 | Paper |
Where Pigeonhole Principles meet K\"onig Lemmas
(available as arXiv preprint) | 2019-12-07 | Paper |
Basis theorem for \(\Sigma_2^1\)-sets
Journal of Symbolic Logic | 2019-03-15 | Paper |
The inductive strength of Ramsey's theorem for pairs
Advances in Mathematics | 2017-02-03 | Paper |
Measure-theoretic applications of higher Demuth's theorem
Transactions of the American Mathematical Society | 2016-09-22 | Paper |
Randomness in the higher setting
The Journal of Symbolic Logic | 2016-03-22 | Paper |
Recursion theory. Computational aspects of definability
De Gruyter Series in Logic and Its Applications | 2015-03-10 | Paper |
Nonstandard models in recursion theory and reverse mathematics
The Bulletin of Symbolic Logic | 2014-10-21 | Paper |
The metamathematics of Stable Ramsey’s Theorem for Pairs
Journal of the American Mathematical Society | 2014-09-19 | Paper |
\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
Advances in Mathematics | 2012-07-20 | Paper |
The theory of the \(\alpha \) degrees is undecidable
Israel Journal of Mathematics | 2010-12-06 | Paper |
The strength of the projective Martin conjecture
Fundamenta Mathematicae | 2010-04-09 | Paper |
On the role of the collection principle for \(\Sigma ^0_2\)-formulas in second-order reverse mathematics
Proceedings of the American Mathematical Society | 2010-03-31 | Paper |
A Π¹₁-uniformization principle for reals
Transactions of the American Mathematical Society | 2009-07-23 | Paper |
Lowness of higher randomness notions
Israel Journal of Mathematics | 2008-10-16 | Paper |
Maximal chains in the Turing degrees
Journal of Symbolic Logic | 2008-02-25 | Paper |
Thin Maximal Antichains in the Turing Degrees
Lecture Notes in Computer Science | 2007-11-13 | Paper |
The jump of a Σ n -cut
Journal of the London Mathematical Society | 2007-09-27 | Paper |
The existence of high nonbounding degrees in the difference hierarchy
Annals of Pure and Applied Logic | 2005-12-29 | Paper |
| scientific article; zbMATH DE number 2236629 (Why is no real title available?) | 2005-12-08 | Paper |
The minimal e-degree problem in fragments of Peano arithmetic
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
| Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts | 2002-07-18 | Paper |
\(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture
Israel Journal of Mathematics | 2001-07-31 | Paper |
| scientific article; zbMATH DE number 1531922 (Why is no real title available?) | 2001-06-04 | Paper |
| scientific article; zbMATH DE number 1420838 (Why is no real title available?) | 2001-02-05 | Paper |
Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator
Journal of Symbolic Logic | 1999-02-02 | Paper |
\(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator
Annals of Pure and Applied Logic | 1998-01-26 | Paper |
Minimal degrees recursive in 1-generic degrees
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Degrees bounding minimal degrees
Mathematical Proceedings of the Cambridge Philosophical Society | 1989-01-01 | Paper |
Almost local non-α-recursiveness
Journal of Symbolic Logic | 1974-01-01 | Paper |
