Logic Seminar
Scott Mutchnik
UIC
Reading seminar
Abstract: We will aim to finish the proof of Saracino's theorem, that every countably categorical theory has a countably categorical model companion.
Tuesday February 10, 2026 at 2:00 PM in 427 SEO