Last updated: February 2016


Promptness does not imply superlow cuppability, Journal of Symbolic Logic 74(4): 1264-1272, 2009.

Members of random closed sets (with Bjørn Kjos-Hanssen), K. Ambos-Spies, B. Lowe, and W. Merkle (Eds.) CiE 2009. Lecture Notes in Computer Science 5635: 144-153, 2009.

Π01 classes, Peano arithmetic, randomness, and computable domination (with D. Dzhafarov and R. I. Soare), Notre Dame Journal of Formal Logic 51(1): 127-159, 2010.

Strengthening prompt simplicity (with Keng Meng Ng), Journal of Symbolic Logic 76(3): 946-972, 2011.

Martin-Löf randomness and Galton-Watson processes (with Bjørn Kjos-Hanssen), Annals of Pure and Applied Logic 163(5): 519-529, 2012.

Low upper bounds in the LR degrees, Annals of Pure and Applied Logic, 163(3): 314-320, 2012.

Natural large degree spectra (with Noam Greenberg and Daniel Turetsky), Computability 1(1): 99-106, 2012.

A van Lambalgen theorem for Demuth randomness (with Noam Greenberg and Dan Turetsky), Proceedings of the 12th Asian Logic Colloquium, pp. 115-124, 2013.

Lowness for difference tests (with Johanna N.Y. Franklin), Notre Dame Journal of Formal Logic, 55(1): 63-73, 2014

Inherent enumerability of strong jump-traceability (with Noam Greenberg and Daniel Turetsky), Transactions of the American Mathematical Society, 367(3): 1771-1796, 2015.

On the structure of the degrees of relative provability (with U. Andrews, M. Cai, S. Lempp, and J. Miller), Israel Journal of Mathematics 207(1): 449-478, 2015.

The finite intersection principle and genericity (with R. Downey, N. Greenberg, and D. Turetsky), Mathematical Proceedings of the Cambridge Philosophical Society 160(2): 279-297, 2016.

Asymptotic density, computable traceability and 1-randomness (with U. Andrews, M. Cai, C. Jockusch, and S. Lempp), to appear in Fundamenta Mathematicae.

Theory spectra and classes of theories (with U. Andrews, M. Cai, S. Lempp, and J. Miller), submitted for publication.

Limit computability and ultrafilters on ω (with U. Andrews, M. Cai, and N. Schweber), submitted for publication.