Scott Mutchnik : Topic Seminar: Forking

Posted by Scott Mutchnik , part of the Logic Seminar.

At

Oct. 21, 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 more cases of the simple Kim-forking conjecture proven in joint work with John Baldwin and James Freitag, including a finite-variable global variant of the simple Kim-forking conjecture in the case of finite F_Mb, and the full conclusion of the simple Kim-forking conjecture, given enough indices, for forking with realizations of an isolated type with the definable Morley property. Time permitting, we will then discuss examples of finite F_Mb and the definable Morley property, which measure dependence within the indiscernible sequences in a type in quantitative and qualitative ways.