Stable theory

Stable theory is a branch of model theory, which is a field of mathematical logic. Introduced by Morley in the early 1960s, stable theory primarily concerns the study of structures that satisfy certain stability conditions. Stability, here, refers to a way of categorizing theories based on their behavior in terms of definability and the complexity of their types. A theory is said to be stable if its behavior can be well-controlled, especially in terms of the number of types over various sets.