| Publication | Date of Publication | Type |
|---|
| A Feiner Look at the Intermediate Degrees | 2021-10-12 | Paper |
A Feiner Look at the Intermediate Degrees (available as arXiv preprint) | 2021-01-01 | Paper |
Jump inversions of algebraic structures and Σ‐definability Mathematical Logic Quarterly | 2020-05-06 | Paper |
Jump inversions of algebraic structures and the \({\Sigma}\)-definability Algebra and Logic | 2018-11-14 | Paper |
Computability and uncountable linear orders. I: Computable categoricity. Journal of Symbolic Logic | 2015-05-20 | Paper |
COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA Journal of Symbolic Logic | 2015-05-20 | Paper |
UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES Journal of Symbolic Logic | 2015-03-06 | Paper |
The complexity of computable categoricity Advances in Mathematics | 2014-11-17 | Paper |
Degrees of orders on torsion-free abelian groups Annals of Pure and Applied Logic | 2013-11-29 | Paper |
Local computability for ordinals Lecture Notes in Computer Science | 2013-08-05 | Paper |
LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS Proceedings of the 11th Asian Logic Conference | 2013-06-03 | Paper |
Cappable CEA sets and Ramsey's theorem Proceedings of the 11th Asian Logic Conference | 2013-06-03 | Paper |
Computable categoricity versus relative computable categoricity Fundamenta Mathematicae | 2013-05-10 | Paper |
Jump degrees of torsion-free abelian groups Journal of Symbolic Logic | 2013-01-07 | Paper |
Jump degrees of torsion-free abelian groups Journal of Symbolic Logic | 2013-01-07 | Paper |
Downward closure of depth in countable Boolean algebras Algebra Universalis | 2012-11-27 | Paper |
Cuts of linear orders Order | 2011-12-13 | Paper |
| ^0_2-categoricity of equivalence structures | 2011-09-12 | Paper |
Euclidean functions of computable Euclidean domains Notre Dame Journal of Formal Logic | 2011-06-03 | Paper |
Depth zero Boolean algebras Transactions of the American Mathematical Society | 2010-08-16 | Paper |
Embeddings of computable structures Notre Dame Journal of Formal Logic | 2010-06-11 | Paper |
Decidability and computability of certain torsion-free abelian groups Notre Dame Journal of Formal Logic | 2010-06-11 | Paper |
Limitwise monotonic functions, sets, and degrees on computable domains Journal of Symbolic Logic | 2010-03-15 | Paper |
Computable shuffle sums of ordinals Archive for Mathematical Logic | 2008-08-18 | Paper |
Subspaces of computable vector spaces Journal of Algebra | 2007-10-17 | Paper |