| Publication | Date of Publication | Type |
|---|
| (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE | 2024-04-05 | Paper |
| Piecewise convex embeddability on linear orders | 2023-12-02 | Paper |
| Convex Embeddability and Knot Theory | 2023-09-18 | Paper |
| Provable better quasi orders | 2023-05-01 | Paper |
| Effective aspects of Hausdorff and Fourier dimension | 2023-01-12 | Paper |
| The Weihrauch lattice at the level of $\boldsymbol{\Pi}_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem | 2022-10-27 | Paper |
| Uniquely orderable interval graphs | 2022-06-14 | Paper |
| On the descriptive complexity of Salem sets | 2022-03-29 | Paper |
| To reorient is easier than to orient: An on-line algorithm for reorientation of graphs | 2021-11-18 | Paper |
| THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE | 2021-07-12 | Paper |
| SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE | 2021-03-19 | Paper |
| Uniquely orderable interval graphs | 2021-01-22 | Paper |
| Polish metric spaces with fixed distance set | 2020-10-07 | Paper |
| The Reverse Mathematics of wqos and bqos | 2020-07-08 | Paper |
| The open and clopen Ramsey theorems in the Weihrauch lattice | 2020-03-09 | Paper |
| Projection operators in the Weihrauch lattice | 2020-01-17 | Paper |
| To reorient is easier than to orient: an on-line algorithm for reorientation of graphs | 2019-10-04 | Paper |
| Linear orders: When embeddability and epimorphism agree | 2019-07-08 | Paper |
| On isometry and isometric embeddability between ultrametric Polish spaces | 2018-04-23 | Paper |
| Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma | 2017-05-18 | Paper |
| Reverse mathematics, well-quasi-orders, and Noetherian spaces | 2016-05-13 | Paper |
| The logic of the reverse mathematics zoo | 2015-12-25 | Paper |
| Epimorphisms between linear orders. | 2015-11-09 | Paper |
| On isometry and isometric embeddability between ultrametric Polish spaces | 2014-12-20 | Paper |
| Reverse mathematics and initial intervals | 2013-12-16 | Paper |
| Invariantly universal analytic quasi-orders | 2013-07-05 | Paper |
| How incomputable is the separable Hahn-Banach theorem? | 2013-05-03 | Paper |
| Linear extensions of partial orders and reverse mathematics | 2012-12-10 | Paper |
| Computing maximal chains | 2012-09-18 | Paper |
| The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma | 2012-03-29 | Paper |
| The maximal linear extension theorem in second order arithmetic | 2011-08-16 | Paper |
| The Veblen functions for computability theorists | 2011-06-28 | Paper |
| How incomputable is the separable Hahn-Banach theorem? | 2010-09-02 | Paper |
| On Fraïssé's conjecture for linear orders of finite Hausdorff rank | 2009-10-26 | Paper |
| Equivalence between theorems: the research program of reverse mathematics | 2009-07-22 | Paper |
| Interval orders and reverse mathematics | 2008-02-05 | Paper |
| Coloring linear orders with Rado's partial order | 2007-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425061 | 2007-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711893 | 2005-12-08 | Paper |
| Reverse mathematics and the equivalence of definitions for well and better quasi-orders | 2005-08-29 | Paper |
| The complexity of continuous embeddability between dendrites | 2005-08-29 | Paper |
| Classification problems in continuum theory | 2005-07-26 | Paper |
| Complexity of curves | 2004-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4828839 | 2004-11-26 | Paper |
| Definability in function spaces | 2003-01-05 | Paper |
| Extensions of functions which preserve the continuity on the original domain | 2002-06-06 | Paper |
| Fine analysis of the quasi-orderings on the power set | 2002-04-11 | Paper |
| Projective sets and ordinary differential equations | 2000-10-19 | Paper |
| Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic | 1999-02-02 | Paper |
| Finite families with few symmetric differences | 1999-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365819 | 1998-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837736 | 1997-03-11 | Paper |
| The Set of Better Quasi Orderings is ∏ | 1995-10-18 | Paper |
| Foundations of BQO Theory | 1994-12-19 | Paper |
| Borel quasi-orderings in subsystems of second-order arithmetic | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5752567 | 1988-01-01 | Paper |
| Bqo is Pi^1_2-complete | N/A | Paper |
| A jump operator on the Weihrauch degrees | N/A | Paper |
