Fine Structure of Dependence in Superstable Theories of Finite Rank

Doctoral Dissertation


Superstable theories of finite rank can be built using realizations of semiminimal types. In his paper ‘Vaught’s Conjecture for Superstable Theories of Finite Rank’, Buechler gave a level-partitioning of semiminimal constructions which allows for a fine analysis of dependence between finite-rank sets. Using this partitioning, we study when dependence on finite-rank sets above the first level has a modular-like behavior, a property we formalize and call the Level Dependence Property (LDP). We prove that LDP is equivalent to the Canonical Base Property (CBP) of Moosa and Pillay for every superstable theory of finite rank. Pillay has shown that CBP (and hence also LDP) holds in compact complex spaces, and together with Ziegler he has shown that CBP holds in differentially closed fields and difference fields. Our main results prove that LDP holds in superstable theories of finite rank under additional assumptions. The first result involves certain orthogonality relations. As a consequence we obtain that any “reduced” counterexample to LDP must be unidimensional, which is also implied by a result of Chatzidakis. The second result proves LDP under certain rank restrictions. Moosa and Pillay have conjectured that LDP holds of all theories of finite rank. Based on an idea of Hrushovski, we present an explicit $aleph_1$-categorical structure that may fail to satisfy LDP; moreover, the model is of the simplest possible kind allowed by our positive results.


Attribute NameValues
  • etd-04142010-133249

Author Prerna Bihani Juhlin
Advisor Steven Buechler
Contributor Steven Buechler, Committee Chair
Degree Level Doctoral Dissertation
Degree Discipline Mathematics
Degree Name PhD
Defense Date
  • 2010-03-01

Submission Date 2010-04-14
  • United States of America

  • superstable

  • modular

  • stability

  • model theory

  • finite rank

  • nonmodular

  • University of Notre Dame

  • English

Record Visibility Public
Content License
  • All rights reserved

Departments and Units


Please Note: You may encounter a delay before a download begins. Large or infrequently accessed files can take several minutes to retrieve from our archival storage system.