Overview: Simplicity theory is an extension of stability theory to awider class of structures, containing, among others, the random graph,pseudo-finite fields, and fields with a generic automorphism.Following Kim‘s proof of `forking symmetry‘ which implies a goodbehaviour of model-theoretic independence, this area of model theoryhas been a field of intense study. It has necessitated the developmentof some important new tools, most notably the model-theoretictreatment of hyperimaginaries (classes modulo type-definableequivalence relations). It thus provides a general notion ofindependence (and
|