Logic Seminar
Scott Mutchnik
UIC
Topics Seminar: Forking
Abstract: We will have a research seminar this semester on forking, broadly construed, particularly in the setting of unstable first-order theories. Graduate students are particularly encouraged to attend.
We will discuss Dobrowolski, Kim and Ramsey's question of whether every NSOP_1 theory has the existence axiom, and the recent example, answering this question, of an NSOP_1 theory without the existence axiom. Continuing our discussion from last time about questions for possible future collaboration, we will conclude this seminar by giving some open problems on the existence axiom.
Tuesday December 9, 2025 at 2:00 PM in 427 SEO