| Publication | Date of Publication | Type |
|---|
| Special Section: Computability Theory and the Foundation of Mathematics | 2023-03-09 | Paper |
| Foundations of Mathematics: an Optimistic Message | 2021-12-03 | Paper |
| Pseudojump inversion in special r. b. $\Pi^0_1$ classes | 2021-02-11 | Paper |
| Turing Degrees of Hyperjumps | 2021-01-21 | Paper |
| Very weak fragments of weak K\H{o}nig's lemma | 2021-01-03 | Paper |
| A symmetric $\beta$-model | 2018-03-06 | Paper |
| REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION | 2017-08-03 | Paper |
| Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions | 2017-04-04 | Paper |
| Mass problems and density | 2017-01-10 | Paper |
| Implicit definability in arithmetic | 2016-09-01 | Paper |
| Mass problems and intuitionistic higher-order logic | 2016-04-13 | Paper |
| Degrees of Unsolvability: A Tutorial | 2015-10-20 | Paper |
| Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction | 2015-08-11 | Paper |
| Symbolic dynamics: entropy = dimension = complexity | 2015-07-20 | Paper |
| Cone avoidance and randomness preservation | 2015-05-15 | Paper |
| TOWARD OBJECTIVITY IN MATHEMATICS | 2015-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5178534 | 2015-03-16 | Paper |
| Mass problems and intuitionistic higher-order logic | 2014-08-12 | Paper |
| Medvedev degrees of two-dimensional subshifts of finite type | 2014-05-19 | Paper |
| Baire categoricity and \(\Sigma_1^0\)-induction | 2014-04-04 | Paper |
| Propagation of partial randomness | 2013-12-10 | Paper |
| Schnorr randomness and the Lebesgue differentiation theorem | 2013-11-14 | Paper |
| Harrington's results on arithmetical singletons | 2013-03-04 | Paper |
| Reverse mathematics and Peano categoricity | 2013-02-19 | Paper |
| Mass problems associated with effectively closed sets | 2012-03-21 | Paper |
| A nonstandard counterpart of WWKL | 2011-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079620 | 2011-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3069633 | 2011-01-18 | Paper |
| Mass Problems and Measure-Theoretic Regularity | 2010-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395521 | 2009-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3530405 | 2008-10-20 | Paper |
| MASS PROBLEMS AND HYPERARITHMETICITY | 2008-08-26 | Paper |
| Mass problems and intuitionism | 2008-06-18 | Paper |
| Almost everywhere domination and superhighness | 2007-09-17 | Paper |
| Mass problems and almost everywhere domination | 2007-09-17 | Paper |
| An extension of the recursively enumerable Turing degrees | 2007-07-23 | Paper |
| Reverse Mathematics and Π12 Comprehension | 2006-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3375872 | 2006-03-17 | Paper |
| Mass Problems and Randomness | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711896 | 2005-12-08 | Paper |
| An incompleteness theorem for βn-models | 2005-08-29 | Paper |
| Almost everywhere domination | 2005-08-29 | Paper |
| Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes | 2004-12-16 | Paper |
| Vitali's theorem and WWKL | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793027 | 2003-02-18 | Paper |
| Some conservation results on weak König's lemma | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513968 | 2001-08-28 | Paper |
| Located sets and reverse mathematics | 2001-05-03 | Paper |
| Separation and Weak König's Lemma | 1999-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4220572 | 1998-11-25 | Paper |
| Separable Banach space theory needs strong set existence axioms | 1997-03-11 | Paper |
| On the strength of König's duality theorem for countable bipartite graphs | 1994-11-03 | Paper |
| The Baire category theorem in weak subsystems of second-order arithmetic | 1993-10-24 | Paper |
| Periodic points and subsystems of second-order arithmetic | 1993-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3972758 | 1992-06-26 | Paper |
| Measure theory and weak König's lemma | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3481699 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484829 | 1990-01-01 | Paper |
| Partial realizations of Hilbert's program | 1988-01-01 | Paper |
| Ordinal numbers and the Hilbert basis theorem | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791148 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797180 | 1987-01-01 | Paper |
| Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction | 1986-01-01 | Paper |
| Which set existence axioms are needed to prove the separable Hahn-Banach theorem? | 1986-01-01 | Paper |
| A dual form of Erdős-Rado's canonization theorem | 1986-01-01 | Paper |
| Addendum to ``Countable algebra and set existence axioms | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691656 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3699664 | 1985-01-01 | Paper |
| Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen | 1985-01-01 | Paper |
| Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees | 1985-01-01 | Paper |
| A dual form of Ramsey's theorem | 1984-01-01 | Paper |
| Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? | 1984-01-01 | Paper |
| Countable algebra and set existence axioms | 1983-01-01 | Paper |
| High and low Kleene degrees of coanalytic sets | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039337 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671967 | 1982-01-01 | Paper |
| On the role of Ramsey quantifiers in first order arithmetic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960691 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960692 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3963007 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914975 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962991 | 1980-01-01 | Paper |
| Sets which do not have subsets of every higher degree | 1978-01-01 | Paper |
| First-order theory of the degrees of recursive unsolvability | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893916 | 1977-01-01 | Paper |
| A degree-theoretic definition of the ramified analytical hierarchy | 1976-01-01 | Paper |
| Minimal Covers and Hyperdegrees | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079564 | 1975-01-01 | Paper |
| Forcing and Models of Arithmetic | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081223 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4113820 | 1974-01-01 | Paper |
| Maximal sets in \(\alpha\)-recursion theory | 1973-01-01 | Paper |
| The α-finite injury method | 1972-01-01 | Paper |
