An up-to-date, systematic account of the fundamental results of the central areas of model theory (a branch of mathematical logic). The fine structure of models of stable theories is the object of the study, and there are applications to classification theory (such as classifying models of undimensional theories).