Prerna Juhlin : Non-modularity in superstable theories of finite rank

Posted by , part of the Logic Seminar.

At

March 2, 2010, 4 p.m.

In

SEO 612

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.