Most of my work is in computability theory. I have also published articles on model theory and differential algebra, modal logic, and probability theory.
A first-order theory which is similar to the class of abelian p-groups
Submitted for publication.
There is no classification of the decidably presentable structures
Submitted for publication.
Borel functors and infinitary interpretations (with Russell Miller and Antonio Montalbán).
Submitted for publication.
Some new computable structures of high rank (with Gregory Igusa and Julia Knight).
Submitted for publication.
Scott ranks of models of a theory
Submitted for publication.
Computable valued fields
Submitted for publication.
The Gamma question for many-one degrees
To appear in the Annals of Pure and Applied Logic.
Degrees of categoricity on a cone with Barbara Csima.
To appear in the Journal of Symbolic Logic.
Left-orderable computable groups
To appear in the Journal of Symbolic Logic.
On computable field embeddings and difference closed fields (with Alexander Melnikov and Russell Miller).
To appear in the Canadian Journal of Mathematics.
Computable functors and effective interpretability (with Alexander Melnikov, Russell Miller, and Antonio Montalbán).
To appear in the Journal of Symbolic Logic.
Degree spectra of relations on a cone
To appear in the Memoirs of the AMS.
Independence in computable algebra (with Alexander Melnikov and Antonio Montalbán).
Journal of Algebra, 443 (2015), 441--468.
Differential-algebraic jet spaces preserve internality to the constants (with Zoé Chatzidakis and Rahim Moosa).
Journal of Symbolic Logic, 80 (2015), no. 3, 1022--1034.
Nonstandard methods for bounds in differential polynomial rings (with Rahim Moosa and Jack Klys).
Journal of Algebra, 360 (2012), 71--86.
Worldizations of possibility models
Submitted for publication.
First-order possibility models and finitary completeness proofs
Submitted for publication.
Inferring probability comparisons (with Wesley Holliday and Thomas Icard)
Submitted for publication.
Preferential Structures for Comparative Probabilistic Reasoning (with Wesley Holliday and Thomas Icard).
To appear in the Proceedings of the AAAI.
A note on cancellation axioms for comparative probability (with Wesley Holliday and Thomas Icard)
Theory and Decision, 80 (2016), no. 1, 159--166.