Logic Seminar
Scott Mutchnik
UIC
Reading seminar
Abstract: I will start to prove Saracino’s theorem, that every countably categorical theory has a model companion.
Tuesday February 3, 2026 at 2:00 PM in 427 SEO