Louise Hay Logic Seminar
Hazal Aydogdu
UIC
The (Un)Stable Formula Theorem
Abstract: Fix an L-theory T and a formula. We will define what it means for a formula to be stable and explore equivalent reformulations, following Shelah’s Unstable Formula Theorem. In particular, we will study the connections between the cardinality of type spaces, n-ladders, n-trees, and the definability of types.
Monday March 3, 2025 at 3:00 PM in 612 SEO