Logic Seminar
Scott Mutchnik
UIC
Topic 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 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.
Tuesday October 21, 2025 at 2:00 PM in 427 SEO