A model M is homogeneous if any partial elementary map between finite substructures extends to an automorphism of M. A model is universal for a theory T if every model of T embeds into it. Homogeneous universal models are canonical objects that realize all types and embed all models, serving as the primary stage for stability-theoretic analysis.
Study homogeneous universal models in the theory of dense linear orders (the rationals). Use the back-and-forth method to construct extensions and automorphisms.
From your study of type realization and omission, you know that a type is a consistent set of formulas in one or more free variables, and that a model "realizes" a type by containing an element (or tuple) satisfying all those formulas simultaneously. Saturated models maximize realization: they realize every type over every small parameter set. Homogeneous models are a companion notion focused not on realization but on symmetry: every isomorphism between finite substructures extends to an automorphism of the whole model. The combination — homogeneous and universal — produces the canonical models that stability theory uses as its working universe.
The best example is ℚ with the usual ordering, which is the unique countable model of the theory of dense linear orders without endpoints (DLO). It is homogeneous: take any two finite subsets {a₁ < a₂ < ... < aₙ} and {b₁ < b₂ < ... < bₙ} of ℚ. There is an automorphism of ℚ sending each aᵢ to bᵢ. Informally, ℚ looks the same from every finite vantage point — no finite configuration of rationals is special. It is also universal for countable linear orders: every countable linear order embeds into ℚ. Both properties follow from the back-and-forth method: to build an isomorphism or an automorphism, alternate between extending a partial map "forth" (adding a new element from the domain and finding an image) and "back" (adding a new element from the codomain and finding a preimage). DLO guarantees that at each step, a suitable element always exists.
The general definition sharpens this picture. A model M is κ-homogeneous if every elementary map between subsets of cardinality less than κ extends to an automorphism of M. A model is universal for a theory T if every model of T of appropriate cardinality elementarily embeds into M. Saturated models are both: every type over a parameter set of size less than |M| is realized, and any two saturated models of the same cardinality and the same complete theory are isomorphic. This uniqueness — the saturated model is the canonical representative of its complete theory at a given cardinality — makes it the natural setting for stability-theoretic analysis.
The connection to your earlier work on types is direct. Homogeneity means that an element's "location" in the model is entirely determined by its type over any finite parameter set: if two elements realize the same type, there is an automorphism moving one to the other. This turns type-equality into a genuine equivalence relation with geometric meaning. In a strongly minimal theory, for example, every pair of elements realizing the same type over a fixed algebraically closed set are in the same orbit under automorphisms, which is what allows dimension theory to work as cleanly as it does in linear algebra.
The practical role of homogeneous universal models — sometimes called monster models in stability theory — is to provide a single ambient structure where all the models of a theory live as elementary substructures. Instead of reasoning about many different models, you reason about definable sets and types within the monster, where the rich automorphism group makes algebraic arguments available. The conceptual step from "one model among many" to "a canonical universe containing all models" is one of the key moves in modern model theory, and it rests on the existence and uniqueness of saturated/homogeneous models that you are establishing here.