James Freitag : Regular types in superstable theories

Posted by , part of the Logic Seminar.

At

Jan. 24, 2012, 4 p.m.

In

SEO 427

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.