This talk was given at: Logic Seminar (Specialty Exam), UW-Madison, on October 8, 2024. Video. Slides Download instead. Your browser does not support PDFs. Download instead.