Scott Mutchnik : Topic Seminar: Forking

Posted by Scott Mutchnik , part of the Logic Seminar.

At

Dec. 2, 2025, 2 p.m.

In

427 SEO

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. We will then discuss problems for further collaboration.