The amalgamation property holds for a class K if any two models in K sharing a common submodel can be embedded into a larger model extending both. The joint embedding property holds if any two models in K embed into a common model. These properties constrain model classes and are essential for constructing homogeneous and universal models through Fraïssé limits.
Work through examples where amalgamation holds (e.g., graphs, linear orders) versus fails. Explicitly construct amalgamation diagrams and verify the diagram lemmas.
From your study of structures and formal languages, you know a structure is a domain of elements together with interpretations of the function, relation, and constant symbols of a given signature. From model-theory basics you know that two structures can be compared and that substructures embed into larger ones. The amalgamation and joint embedding properties ask: given multiple structures, can they always be combined into one?
The joint embedding property (JEP) is the simpler condition. A class K of structures has JEP if, for any two structures A, B ∈ K, there exists some C ∈ K into which both A and B embed. Think of it as: any two members of the class can be "fit inside" a common larger structure. This is a global coherence condition on the class — it says the structures do not split into completely incompatible families. For example, the class of all finite graphs has JEP: given any two finite graphs, take their disjoint union, which is a (larger) finite graph containing both.
The amalgamation property (AP) is stronger. Suppose A, B, and C are in K, and there are embeddings f: A → B and g: A → C — so both B and C "extend" the common substructure A. AP says there must exist D ∈ K with embeddings h: B → D and k: C → D such that h ∘ f = k ∘ g. In other words, you can always complete the "diamond": the two extensions of A can be unified without contradiction. Graphically, AP says every span A ← → B, A ← → C can be completed to a commuting square. AP implies JEP (take A to be the empty or initial structure).
The reason these properties matter is Fraïssé's theorem: a class K of finitely generated structures with countably many isomorphism types, satisfying JEP and AP (plus the hereditary property), has a unique countable Fraïssé limit — a homogeneous, universal structure. The Fraïssé limit of the class of finite linear orders is the rationals (ℚ, <). The Fraïssé limit of the class of finite graphs is the random graph (Rado graph), which contains every countable graph as an induced subgraph. AP ensures that the back-and-forth construction used to build the Fraïssé limit never gets stuck: at every step, two partial extensions can always be reconciled into a single larger extension. Without AP, the construction can reach an impasse where incompatible requirements cannot be simultaneously satisfied.