This talk was given at: Logic Seminar, UW-Madison, on September 29, 2026. Slides Download. Your browser does not support PDFs. Download instead.