6.2 Types and Realizations
Types give a precise way to describe all first order properties that an element, or a tuple of elements, may satisfy in a structure. Instead of looking at one formula at a time, a type collects many formulas together and treats them as a possible description of an element. This is useful because model theory often studies not only the elements already present in a structure, but also the kinds...