| Publication | Date of Publication | Type |
|---|
COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR
Journal of Symbolic Logic | 2023-06-05 | Paper |
Tukey morphisms between finite relations
| 2023-02-06 | Paper |
New jump operators on equivalence relations
Journal of Mathematical Logic | 2022-12-13 | Paper |
On splitting and splittable families
| 2022-05-31 | Paper |
The classification of countable models of set theory
Mathematical Logic Quarterly | 2020-09-09 | Paper |
On the classification of automorphisms of trees
| 2020-07-22 | Paper |
Cardinal characteristics and countable Borel equivalence relations
Mathematical Logic Quarterly | 2020-04-29 | Paper |
The set splittability problem
| 2019-12-19 | Paper |
On the classification of vertex-transitive structures
Archive for Mathematical Logic | 2019-07-04 | Paper |
Conjugacy for homogeneous ordered graphs
Archive for Mathematical Logic | 2019-03-27 | Paper |
The Fundamental Theorem on Symmetric Polynomials: History's First Whiff of Galois Theory
The College Mathematics Journal | 2018-08-20 | Paper |
The conjugacy problem for automorphism groups of homogeneous digraphs
| 2017-12-20 | Paper |
The conjugacy problem for automorphism groups of countable homogeneous structures
Mathematical Logic Quarterly (MLQ) | 2017-02-01 | Paper |
On generalizations of separating and splitting families
The Electronic Journal of Combinatorics | 2016-09-13 | Paper |
A López-Escobar theorem for metric structures, and the topological Vaught conjecture
Fundamenta Mathematicae | 2016-07-08 | Paper |
Generalized Choquet spaces
Fundamenta Mathematicae | 2016-02-24 | Paper |
Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals
| 2016-01-27 | Paper |
The classification problem for finitely generated operator systems and spaces
| 2014-11-03 | Paper |
The conjugacy problem for automorphism groups of countable homogeneous structures
| 2014-06-24 | Paper |
Ioana's superrigidity theorem and orbit equivalence relations
ISRN Algebra | 2014-06-16 | Paper |
Automorphisms of corona algebras, and group cohomology
Transactions of the American Mathematical Society | 2014-06-11 | Paper |
Borel Tukey morphisms and combinatorial cardinal invariants of the continuum
Fundamenta Mathematicae | 2013-10-30 | Paper |
The hierarchy of equivalence relations on the natural numbers under computable reducibility
Computability | 2013-01-30 | Paper |
The classification of torsion-free abelian groups of finite rank up to isomorphism and up to quasi-isomorphism
Transactions of the American Mathematical Society | 2012-04-20 | Paper |
Borel reductions of profinite actions of SL\(_n(\mathbb Z)\)
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Infinite time decidable equivalence relation theory
Notre Dame Journal of Formal Logic | 2011-06-03 | Paper |
The conjugacy problem for the automorphism group of the random graph
Archive for Mathematical Logic | 2011-03-02 | Paper |
The complexity of classification problems for models of arithmetic
The Bulletin of Symbolic Logic | 2010-10-26 | Paper |
Infinite-time Turing machines and Borel reducibility
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
