Ehrenfeucht-Mostowski Construction

A method for building models that realize a prescribed pattern of types along an index order by interpreting a linear order (or other skeleton) into a structure with Skolem functions so that the images of the order form an indiscernible sequence realizing the specified type pattern. It is used to produce models with long indiscernibles or particular combinatorial configurations.