Publications

Combinatorial principles equivalent to weak induction, with Denis Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, and Keita Yokoyama, Computability, 9:3-4 (2020) 219-229. Available online at (DOI) 10.3233/COM-180244, for subscribers or purchase. A draft is available at arXiv.org.

Reverse mathematics and colorings of hypergraphs with J. Hirst, J. Pardo, and T. Ransom, Archive for Mathematical Logic, 58 (2019) 575-585. Available online at (DOI) 10.1007/s00153-018-0654-z, for subscribers or purchase. An author approved manuscript is available locally. This article can be viewed through the Springer Nature Content Sharing Intiative.

Slides

Slides for Reverse mathematics, hypergraphs, and edge representation, a talk given on February 1, 2022 in the Logic Seminar at the University of Florida.

Slides for An introduction to reverse mathematics, a talk given on September 28, 2021 in the Logic Seminar at the University of Florida.