Preprints and Publications

1. 1.Computability theoretic aspects of an antichain theorem for extendible trees of nontrivial rank.
   Submitted.
   
   

2. 2.The complexity of module radicals.
   Submitted.
   
   

3. 3.Transfinitely valued Euclidean domains have arbitrary indecomposable order type.
   (with P.P. Nielsen and V. Tombs)
   Communications in Algebra, vol. 47(3) 1105--1113 (2019).
   
   

4. 4.The computability, definability, and proof theory of Artinian rings.
   Advances in Mathematics, vol. 341(1) 1--39 (2019)
   
   

5. 5.The complexity of ascendant sequences in locally nilpotent groups.
   (with R. A. Shore)
   International Journal of Algebra and Computation, vol. 24(2) 189--205 (2014)
   
   

6. 6.Infinite dimensional proper subspaces of computable vector spaces.
   Journal of Algebra, vol. 406(1) 346--375 (2014)
   
   

7. 7.Random reals, the rainbow Ramsey theorem, and arithmetic conservation.
   (with T. A. Slaman)
   Journal of Symbolic Logic, vol. 78(1) 195--206 (2013)
   
   

8. 8.Galvin’s “Racing Pawn” game, internal hyperarithmetic comprehension, and the law of excluded middle.
   (with N. Greenberg and D. Turetsky)
   Notre Dame Journal of Formal Logic, vol. 54(2) 233--252 (2013)
   
   

9. 9.Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem.
   Transactions of the AMS, vol. 364(9) 4465--4494 (2012)
   
   

10. 10. A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one.
    Journal of Symbolic Logic, vol. 77(2) 447--474 (2012)
    
    

11. 11. Effectively approximating measurable sets by open sets.
    Theoretical Computer Science, vol. 428(1) 36--46 (2012)
    
    

12. 12. A measure-theoretic proof of Turing incomparability.
    Annals of Pure and Applied Logic, vol. 162(1) 83--88 (2010)
    
    

13. 13. Chain conditions in computable rings.
    Transactions of the AMS, vol. 362(12) 6523--6550 (2010)
    
    

14. 14. On the complexity of radicals in noncommutative rings.
    Journal of Algebra, vol. 322(10) 3670--3680 (2009)
    
    

15. 15. Effective packing dimension of Π1-classes.
    Proceedings of the AMS, vol. 136(10) 3655--3662 (2008)
    
    

16. 16. Classifying model-theoretic properties.
    Journal of Symbolic Logic, vol. 73(3) 885--905 (2008)
    
    

17. 17. Tensor operators and constructing indecomposable representations of semidirect product groups. (with J. Repka)
    Journal of Mathematical Physics, vol. 44(6) 2679--2691 (2003)
    

Applications of computability theory. PhD thesis, University of Chicago (2009)