Logic Seminar
Prerna Juhlin
University of Notre Dame
Non-modularity in superstable theories of finite rank
Abstract: Superstable theories of finite rank can be "built" using realizations of semiminimal types. Using a level-partitioning of semiminimal constructions, we study when dependence above the first level has a modular-like behavior--a property we formalize and call the Level Dependence Property (LDP). LDP is equivalent to the Canonical Base Property of Moosa and Pillay. It has been shown that the property holds in compact complex spaces, differentially closed fields, and difference fields. We prove that in superstable theories of finite rank, LDP holds under certain orthogonality and rank assumptions.
seminar begins with tea.
Tuesday March 2, 2010 at 4:00 PM in SEO 612