This talk was given at: Purdue University Model Theory and Applications Seminar, Purdue University, on October 22, 2026. Logic Seminar, UW-Madison, on September 29, 2026. Slides Download. Your browser does not support PDFs. Download instead.