Talks

Introenumerability, Autoreducibility, and Randomness

• May 2024, Association for Symbolic Logic Annual Meeting, Iowa State University, Slides

• April 2023, the 23rd Graduate Student Conference in Logic, University of Illinois at Chicago

There is a deep 1-generic set

• July 2024, the 20th Computability in Europe, Amsterdam University College

• Dec 2023, Logic Seminar, University of Wisconsin–Madison, Slides & Video

Countable Ordered Groups and Weihrauch Reducibility

• (Coming soon) January 2025, Joint Mathematics Meeting, Seattle

• (Coming soon) November 2024, the 33rd Midwest Computability Seminar, University of Chicago

• June 2024, Logic Seminar, University of Wisconsin–Madison, Slides & Video

• April 2024, the 24th Graduate Student Conference in Logic, University of Wisconsin–Madison

Graduate Logic Seminar at University of Wisconsin–Madison

•  April 2024, Steel Forcing without Generalized Ramified Forcing Language

•  April 2023, NC=LC=PS (non-cuppable, least-cuppable, and promptly simple)

•  March 2022, Scott's Theorem and the Arithmetized Completeness Theorem