Logic Seminar
James Freitag
UIC
Regular types in superstable theories
Abstract: First, motivation from differential algebraic geometry will be mentioned. Then we will prove Lascar's $\omega ^ \alpha $ theorem. Following this, if time allows, we will attempt to prove some additional restrictions on ranks involving regular types.
All of the necessary back round on geometric stability theory will be given. Basic familiarity with model theory will be assumed.
Tuesday January 24, 2012 at 4:00 PM in SEO 427