Talks

Uubs, suubs, and the TA degrees

Uubs and suubs as theory spectra. 2026 North American Annual Meeting of the ASL, University of Pennsylvania. (Slides)

How to Hide Your Isolated Types (And Other Applications of Marker Extensions). Graduate Logic Seminar, University of Wisconsin–Madison. (Slides)

Theory spectra which cannot be the spectrum of any small theory. Logic Seminar, University of Wisconsin–Madison.

Unions of Cones as Theory Spectra

Unions of Cones as Theory Spectra. 37th Midwest Computability Seminar, University of Illinois Chicago. (Slides)

Unions of Cones as Theory Spectra. Graduate Logic Seminar, University of Wisconsin–Madison.

The Slaman-Wehner Spectrum

The Slaman-Wehner Spectrum: Sometimes Compactness is the Enemy. The 26th Graduate Student Conference in Logic, University of Illinois Chicago. (Slides)

The Slaman-Wehner Spectrum. Graduate Logic Seminar, University of Wisconsin–Madison. (Slides)

Other Topics

Degree Spectra for Classification Theory. The 25th Graduate Student Conference in Logic, University of Notre Dame.

Degree Spectra of Theories. Graduate Logic Seminar, University of Wisconsin–Madison.

A Proof Theorist's Guide to First Aid: CUT-Elimination and Other Results of Classical Proof Theory. Graduate Logic Seminar, University of Wisconsin–Madison.