On the Bounded Axiomatizability of Theories and Types

This talk was given at:

1. IMS Graduate Summer School in Logic 2026, National University of Singapore, on July 2, 2026.

Slides

Download.