**Stable theories** are a class of theories generalizing strongly minimal theories, uncountably categorical theories, and totally transcendental theories. Stable theories are the primary focus of **stability theory**.

In this article, βtypeβ will mean complete -type for some .

Fix some complete theory , and let be a monster model of . We say that is -**stable** if and for every set of cardinality at most , there are at most types over : for every .

is said to be **stable** if it is -stable for some .

There are many equivalent definitions of stability; we will list some below.

Notable examples of stable theories include

- The theory of an infinite set with no structure
- The theory of -vector spaces, for some fixed field.
- ACF, the theory of algebraically closed fields
- DCF, the theory of differentially closed fields
- SCF, the theory of separably closed fields
- CCM, the theory of compact complex manifolds
- The theory of any pure abelian group or pure -module for a ring
- Any strongly minimal theory
- Any uncountably categorical theory
- Any totally transcendental theory

Any theory in which an infinite total order is definable (or interpretable) will *not* be stable. Consequently, theories such as DLO, RCF, ACVF, and the true theory of arithmetic are all unstable.

*Main article: Forking in stable theories*

If is stable and are subsets of the monster, there is a canonical notion of what it means for and to be **independent** over , denoted . There is a closely related notion, that of a βnon-forking extensionβ of complete types: is a **non-forking extension** of if , and is a *forking extension* of otherwise. The non-forking extensions of a type can be thought of as the βgenericβ or βcanonicalβ extensions of to larger sets. The relation can be recovered from the notion of non-forking: holds if and only if is a non-forking extension of for each finite tuple from .

These notions satisfy a number of basic axioms, such as

- Symmetry: is independent from over if and only if is independent from over .
- Transitivity: if are complete types over subsets of the monster, then is a non-forking extension of if and only if is a non-forking extension of and is a non-forking extension of .
- Local character: there is a cardinal such that every type is a non-forking extension of a type over a set of size less than .

There are six or seven other axioms besides these. All of these can be expressed in terms of the relation . The formal manipulation of using these axioms is sometimes called **forking calculus**. The forking calculus actually characterizes stable theories, in the sense that if is a complete theory for which there is a ternary relation satisfying the axioms of forking independence in a stable theory, then is stable and is forking independence.

The ternary relation is the basis for other fundamental definitions in stability theory, such as Lascar rank, stationarity, independence, weight, domination, orthogonality, and regularity.

Several notions of βrankβ or βdimensionβ play an important role in stable theories (particularly superstable theories). Each kind of rank assigns an ordinal number to a partial type . This number should be thought of as the number of degrees of freedom which the variable has, after being constrained by the statements in . If is a finite type, i.e., a formula , then the rank of can be thought of as the βdimensionβ of the definable set . On the other hand, the rank of a complete type can be thought of as a generalization of .

The three most commonly used ranks in stability theory are Morley rank , Lascar rank , and Shelah -rank . Each of these ranks is ordinal valued, but can take the failure value , which is thought of as being greater than any ordinal number. The ranks are related as follows: for any partial type . The **totally transcendental theories** are exactly the stable theories for which Morley rank is never . The **superstable theories** are exactly the stable theories for which Lascar rank is never , and are also exactly the stable theories for which . (Superstable theories can also be characterized as the theories which are -stable for all sufficiently large .) In practice, many of the mathematically interesting examples of stable theories are superstable; but SCF is a notable counter-example.

If is one of these three ranks, it is customary to write for . If is definable (or type-definable), it is customary to write for the rank of the partial type cutting out .

A number of fundamental properties are shared by these ranks. Letting denote one of Morley rank, Lascar rank, or Shelah -rank,

- If is type-definable over some small set , then .
- If , then .
- If , then .
- if and only if is finite.
- if and only if is algebraic over .
- If , then .
- If and are two type-definable sets in definable bijection, then . More generally, if there is a definable surjection from to , then .

Each of these ranks governs forking, when less than . That is, if , then In other words, the non-forking extensions of a complete type are exactly the extensions having the same rank.

Morley rank and Shelah -rank both possess the following continuity property: is the minimum of , for a finite subtype of . For a complete type , this means that given and , for some . In particular, all types in a neighborhood of have rank no greater than . This means that the rank function on is semi-continuous.

Lascar rank fails to have this property in general. However, it satisfies the extremely useful Lascar inequality: Here denotes the usual ordinal sum, while denotes the so-called βnatural sum.β For finite numbers, these agree, making the Lascar inequality into an equality. There is also an adjunct statement to the Lascar inequality, namely From this, one can show that if and are non-empty definable sets, then .

Definable groups in stable structures have a number of nice properties, including the following:

- Type-definable groups always sit inside of definable groups, and any type-definable subgroup of a definable group is an intersection of definable groups. (This fails in RCF, for example, because in the additive group, the group of infinitesimals fails to be an intersection of definable subgroups of the additive group.)
- In a totally transcendental setting, type-definable groups are always definable.
- If is a type-definable group, then (the intersection of all relatively definable subgroups of of finite index) exists, i.e., is type-definable over a small set. In the totally transcendental setting, is definable and has finite index in .
- If , then there is a canonical
**generic type**of . This type is uniquely characterized by the fact that it is stabilized by left and right translation. In the totally transcendental setting, this generic type is the unique type of maximal Morley rank in . - When , there is still a notion of a
**generic type**in ; there is one generic type in each coset of . - The Baldwin-Saxl condition: if is a uniformly definable family of subgroups of a stable group , then any intersection of members of is a finite intersection of members of .

In the case of groups of finite Morley rank, many structural results are known, using tools such as Zilberβs indecomposability theorem. For example, it is known that if is a group of finite Morley rank, then is simple if and only if is definably simple. That is, if has a normal subgroup, then has a definable normal subgroup. Additionally, Morley rank in agrees with Lascar rank and is definable. Conjecturally, all simple groups of finite Morley rank are (as abstract groups) algebraic groups over algebraically closed fields.

Groups arise naturally in stability theory in several ways. In the analysis of uncountably categorical theories, or more generally when studying internality, binding groups appear and govern some of the structure. For example, in Poizatβs book on stable groups, there is a theorem saying that if is uncountably categorical and has no definable groups, then is almost strongly minimal.

Groups also arise from the group configuration theorem, which constructs a group from a certain configuration occurring in the pregeometry of a strongly minimal set (or more generally, a rank 1 type).

One-based groups also play an important role in the model-theoretic proofs of function field Mordell-Lang.

The set of such that is -stable is called the **stability spectrum** of . In Poizatβs introductory Model Theory book (in chapter 131?), the possible stability spectra are classified. It turns out that the stability spectrum of depends on , the smallest cardinal such that is -stable, and , the smallest cardinal which works in the local character property of forking. (That is, is the smallest cardinal with the property that if is a finite tuple and is a set, then there is some with such that .) Somebody should add the correct statement of the theorem here.

For countable theories, it turns out that there are three possibilities:

- is -stable for all infinite . This happens exactly if is totally transcendental.
- is -stable for . This happens exactly if is superstable but not totally transcendental.
- is -stable for those such that . This happens when is stable but not superstable.

Stability theory was originally motivated by things such as Morleyβs Theorem, and more generally, classification theory. The goal of this subject is to classify theories according to their spectra, that is, according to how many models they have of each uncountable cardinality. A basic result in this direction is that if a countable theory is not stable, then for any uncountable , has distinct models up to isomorphism, which is as large as possible. Such theories are thought of as "unclassifiable," because there is no hope of classifying their models. More generally, Shelah proved that if is not superstable, then is unclassifiable. The focus of classification theory is therefore on superstable theories. (Can someone verify the claims made in this paragraph?)

There are many equivalent definitions of stability, some of which are easier to check than -stability in various settings.

All of the following are equivalent, for a complete theory :

- is -stable for some
- No formula has the order property. That is, one cannot find a formula and tuples from the monster such that holds if and only if .
- Every type over a model is definable.
- Every type over any set is definable.
- Types over models have unique heirs.
- Types over models have unique coheirs.
- Every indiscernible sequence is totally indiscernible.
- is NIP and does not have the strict order property. That is, is NIP and does not interpret a partial order with an infinite chain.
- For every countable set and formula , the set of -types over is countable, or equivalently, contains no perfect set.

Many of these properties can be checked on the level of 1-types. Specifically, the following conditions are also equivalent to stability:

- -stability holds on the level of 1-types for some . That is, there is some such that for every with , we have .
- No formula with a singleton (rather than a tuple) has the order property.
- Every 1-type over a model is definable.
- Every 1-type over a model has a unique coheir.
- Every 1-type over a model has a unique heir.

These conditions are sometimes easier to check. For example, if is a strongly minimal theory, it is easy to check that no formula with a singleton has the order property. (If has the order property, then by compactness one can find for such that holds if and only if . Then contains and doesnβt contain . Therefore it is neither finite nor cofinite, contradicting strong minimality.)

If is a stable theory, so is . Any definitional expansion of is stable. Any reduct of a stable theory is a stable theory. We can name any number of elements from without losing stability.

Other noteworthy facts about stable theories are the following:

- An -indiscernible sequence is always totally -indiscernible.
- Every definable set is stably embedded. That is, if is a definable set, and is some other definable set such that makes sense, then is of the form for some set definable with parameters from . In other words, definable subsets of or can always be defined with parameters from inside . Poizat calls this the βParameter Separation Theorem,β but the usual name is βstable embeddedness.β This turns out to be a direct consequence of the fact that complete types over are -definable.
- Strong type, Kim-Pillay strong type, and Lascar strong type are all equivalent. One proves this as follows: if and have the same strong type over a set , let be the unique non-forking extension of this strong type. Let be a Morley sequence for over , so realizes . Then the sequences and are both indiscernible over , ensuring that and have the same Lascar strong type over .
- Every model of a stable theory has an elementary extension which is saturated. Equivalently, arbitrarily large saturated models exist,
*without any set-theoretic assumptions like the continuum hypothesis or the existence of inaccessible cardinals*. This can be seen by taking a sufficiently large cardinal such that is -stable, taking a model of cardinality , realizing all types over it in some bigger model, and repeating this process times. The result will be a -saturated model of cardinality . ::: ::: :::