Scott Mutchnik : Reading seminar

Posted by Scott Mutchnik , part of the Logic Seminar.

At

Feb. 3, 2026, 2 p.m.

In

427 SEO

Abstract

I will start to prove Saracino’s theorem, that every countably categorical theory has a model companion.