| Publication | Date of Publication | Type |
|---|
Complexity of well-ordered sets in an ordered abelian group
Monatshefte für Mathematik | 2026-01-02 | Paper |
| Roots of polynomials in fields of generalized power series | 2025-02-03 | Paper |
Agreement reducibility
Mathematical Logic Quarterly | 2023-09-12 | Paper |
Calibrating Computational Complexity via Definability: The Work of Julia F. Knight
Notices of the American Mathematical Society | 2022-08-31 | Paper |
Lengths of roots of polynomials in a Hahn field
Algebra and Logic | 2021-11-16 | Paper |
Well quasi-orderings and roots of polynomials in a Hahn field
Trends in Logic | 2020-07-08 | Paper |
Different Problems, Common Threads: Computing the Difficulty of Mathematical Problems
Notices of the American Mathematical Society | 2020-03-04 | Paper |
Lengths of developments in \(K((G))\)
Selecta Mathematica. New Series | 2019-02-15 | Paper |
Classifications of computable structures
Notre Dame Journal of Formal Logic | 2018-03-08 | Paper |
Classifications of computable structures
Notre Dame Journal of Formal Logic | 2018-03-08 | Paper |
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
Memoirs of the American Mathematical Society | 2017-10-10 | Paper |
\(\mathcal{D}\)-maximal sets
The Journal of Symbolic Logic | 2016-03-22 | Paper |
Representing Scott sets in algebraic settings
Archive for Mathematical Logic | 2015-09-01 | Paper |
A valuation theoretic characterization of recursively saturated real closed fields
Journal of Symbolic Logic | 2015-05-20 | Paper |
Erratum to: ``Limit computable integer parts''
Archive for Mathematical Logic | 2015-04-14 | Paper |
| The arithmetical hierarchy in the setting of \(\omega_1\) | 2014-04-30 | Paper |
Degrees of orders on torsion-free abelian groups
Annals of Pure and Applied Logic | 2013-11-29 | Paper |
Describing free groups
Transactions of the American Mathematical Society | 2013-08-19 | Paper |
Complexity of structures associated with real closed fields
Proceedings of the London Mathematical Society | 2013-08-05 | Paper |
Real closed exponential fields
Fundamenta Mathematicae | 2012-10-31 | Paper |
On \(n\)-tardy sets
Annals of Pure and Applied Logic | 2012-07-11 | Paper |
Limit computable integer parts
Archive for Mathematical Logic | 2011-11-23 | Paper |
A characterization of the \(0\)-basis homogeneous bounding degrees
Journal of Symbolic Logic | 2010-10-04 | Paper |
The degree spectra of homogeneous models
Journal of Symbolic Logic | 2009-03-23 | Paper |
Computability of homogeneous models
Notre Dame Journal of Formal Logic | 2007-08-10 | Paper |
Patterns, linesums, and symmetry
Linear Algebra and its Applications | 2003-02-05 | Paper |
