Scott Mutchnik : Reading seminar

Posted by Scott Mutchnik , part of the Logic Seminar.

At

Feb. 10, 2026, 2 p.m.

In

427 SEO

Abstract

We will aim to finish the proof of Saracino's theorem, that every countably categorical theory has a countably categorical model companion.