Research

Journal articles

The computational content of intrinsic density
Submitted.

The uniform content of partial and linear orders.
With Damir Dzhafarov, Reed Solomon, and Jacob Suggs.
Annals of Pure and Applied Logic, vol. 168, no. 6, pp. 1153–1171, 2017.

Asymptotic density, immunity, and randomness.
Computability, vol. 4, no. 2, pp. 141–158, 2015.

Papers in preparation

The weakness of typicality.
With Laurent Bienvenu, Damir Dzhafarov, Ludovic Patey, Paul Shafer, Reed Solomon, and Linda Brown Westrick.

Dense computability, upper cones, and minimal pairs.
With Denis Hirschfeldt and Carl G. Jockusch.

Unpublished work

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.

Clicky