Asymptotic density, immunity, and randomness.
Computability, vol. 4, no. 2, pp. 141–158, 2015.
Papers in preparation
Asymptotic density and effective negligibility.
Thesis, University of Chicago, 2015.
Parts of this thesis have appeared in "Asymptotic density, immunity, and randomness" (mentioned above).
Remaining results will appear in their entirety in "The computational content of intrinsic density" (submitted) and "Dense computability, upper cones, and minimal pairs" (in preparation).
The Reverse Mathematics Zoo
The RM Zoo is a program to help organize relations among various reverse mathematical principles, particularly those that fail to be equivalent to any of the big five subsystems of second-order arithmetic. Its goal is to make it easier to see known results and open questions, and thus hopefully to serve as a useful tool to researchers in the field. As such, it includes an annotated bibliography for all papers with referenced results.