Aspects of stability in simple theories

Doctoral Dissertation


Simple theories are a strict extension of stable theories for which non-forking independence is a nice independence relation. However, not much is known about how the simple unstable theories differ from the strictly stable ones. This work looks at three aspects of simple theories and uses them to give a better picture of the differences between the two classes. First, we look at the property of weakly eliminating hyperimaginaries and show that it is equivalent to forking and thorn-forking independence coinciding. Second, we look at the stable forking conjecture}, a strong statement asserting that simple unstable theories have an essentially stable ‘core,’ and prove that it holds between elements having SU-rank 2 and finite SU-rank. Third, we consider a property on indiscernible sequences that is known to hold in every stable theory, and show it holds on, at most, a subset of simple theories out of all possible first order theories.


Attribute NameValues
  • etd-04202012-101906

Author Donald A Brower
Advisor Steven Buechler
Contributor Cameron Hill, Committee Member
Contributor Steven Buechler, Committee Chair
Contributor Julia Knight, Committee Member
Contributor Sergei Starchenko, Committee Member
Degree Level Doctoral Dissertation
Degree Discipline Mathematics
Degree Name Doctor of Philosophy
Defense Date
  • 2012-04-12

Submission Date 2012-04-20
  • United States of America

  • indiscernible sequence

  • classification theory

  • model theory

  • hyperimaginary

  • Logic

  • University of Notre Dame

  • English

Record Visibility Public
Content License
  • All rights reserved

Departments and Units

Digital Object Identifier


This DOI is the best way to cite this doctoral dissertation.


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.