| Publication | Date of Publication | Type |
|---|
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE
Journal of Symbolic Logic | 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
Computability | 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
Discrete Mathematics | 2022-06-14 | Paper |
On the descriptive complexity of Salem sets
Fundamenta Mathematicae | 2022-03-29 | Paper |
To reorient is easier than to orient: An on-line algorithm for reorientation of graphs
Computability | 2021-11-18 | Paper |
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE
Journal of Symbolic Logic | 2021-07-12 | Paper |
Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice
Journal of Symbolic Logic | 2021-03-19 | Paper |
Uniquely orderable interval graphs
| 2021-01-22 | Paper |
Polish metric spaces with fixed distance set
Annals of Pure and Applied Logic | 2020-10-07 | Paper |
The reverse mathematics of wqos and bqos
Trends in Logic | 2020-07-08 | Paper |
The open and clopen Ramsey theorems in the Weihrauch lattice
| 2020-03-09 | Paper |
Projection operators in the Weihrauch lattice
Computability | 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
Journal of Mathematical Logic | 2019-07-08 | Paper |
On isometry and isometric embeddability between ultrametric Polish spaces
Advances in Mathematics | 2018-04-23 | Paper |
Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
Annals of Pure and Applied Logic | 2017-05-18 | Paper |
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Archive for Mathematical Logic | 2016-05-13 | Paper |
The logic of the reverse mathematics zoo
| 2015-12-25 | Paper |
Epimorphisms between linear orders.
Order | 2015-11-09 | Paper |
On isometry and isometric embeddability between ultrametric Polish spaces
| 2014-12-20 | Paper |
Reverse mathematics and initial intervals
Annals of Pure and Applied Logic | 2013-12-16 | Paper |
Invariantly universal analytic quasi-orders
Transactions of the American Mathematical Society | 2013-07-05 | Paper |
How incomputable is the separable Hahn-Banach theorem?
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Linear extensions of partial orders and reverse mathematics
Mathematical Logic Quarterly | 2012-12-10 | Paper |
Computing maximal chains
Archive for Mathematical Logic | 2012-09-18 | Paper |
The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
Annals of Pure and Applied Logic | 2012-03-29 | Paper |
The maximal linear extension theorem in second order arithmetic
Archive for Mathematical Logic | 2011-08-16 | Paper |
The Veblen functions for computability theorists
Journal of Symbolic Logic | 2011-06-28 | Paper |
How incomputable is the separable Hahn-Banach theorem?
Notre Dame Journal of Formal Logic | 2010-09-02 | Paper |
On Fraïssé's conjecture for linear orders of finite Hausdorff rank
Annals of Pure and Applied Logic | 2009-10-26 | Paper |
Equivalence between theorems: the research program of reverse mathematics
| 2009-07-22 | Paper |
Interval orders and reverse mathematics
Notre Dame Journal of Formal Logic | 2008-02-05 | Paper |
Coloring linear orders with Rado's partial order
Mathematical Logic Quarterly | 2007-06-26 | Paper |
scientific article; zbMATH DE number 5130969 (Why is no real title available?)
| 2007-03-05 | Paper |
scientific article; zbMATH DE number 2236642 (Why is no real title available?)
| 2005-12-08 | Paper |
Reverse mathematics and the equivalence of definitions for well and better quasi-orders
Journal of Symbolic Logic | 2005-08-29 | Paper |
The complexity of continuous embeddability between dendrites
Journal of Symbolic Logic | 2005-08-29 | Paper |
Classification problems in continuum theory
Transactions of the American Mathematical Society | 2005-07-26 | Paper |
Complexity of curves
Fundamenta Mathematicae | 2004-11-29 | Paper |
scientific article; zbMATH DE number 2119437 (Why is no real title available?)
| 2004-11-26 | Paper |
Definability in function spaces
Real Analysis Exchange | 2003-01-05 | Paper |
Extensions of functions which preserve the continuity on the original domain
Topology and its Applications | 2002-06-06 | Paper |
Fine analysis of the quasi-orderings on the power set
Order | 2002-04-11 | Paper |
Projective sets and ordinary differential equations
Transactions of the American Mathematical Society | 2000-10-19 | Paper |
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
Archive for Mathematical Logic | 1999-02-02 | Paper |
Finite families with few symmetric differences
Proceedings of the American Mathematical Society | 1999-01-25 | Paper |
scientific article; zbMATH DE number 1089084 (Why is no real title available?)
| 1998-03-23 | Paper |
scientific article; zbMATH DE number 956479 (Why is no real title available?)
| 1997-03-11 | Paper |
The Set of Better Quasi Orderings is ∏
Mathematical Logic Quarterly | 1995-10-18 | Paper |
Foundations of BQO Theory
| 1994-12-19 | Paper |
Borel quasi-orderings in subsystems of second-order arithmetic
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
scientific article; zbMATH DE number 4187802 (Why is no real title available?)
| 1988-01-01 | Paper |
Bqo is Pi^1_2-complete
| N/A | Paper |
A jump operator on the Weihrauch degrees
| N/A | Paper |
