A countable structure that is ultrahomogeneous and whose age equals a given countable class of finite structures with the hereditary, joint embedding, and amalgamation properties; it is unique up to isomorphism and realizes every finite pattern from that class.

Principle

Given a countable class of finite structures closed under isomorphism and substructure, with joint embedding and amalgamation, there is a unique (up to isomorphism) countable ultrahomogeneous structure whose finitely generated substructures are exactly that class.

Demonstration

The ordered set of rationals (Q,<) is the Fraïssé limit of the class of all finite linear orders; the Rado (random) graph is the Fraïssé limit of the class of all finite simple graphs.

Misapplication

Calling an arbitrary countable homogeneous or universal structure a Fraïssé limit when its age fails to be a countable amalgamation class, or when the language or finiteness hypotheses are violated.

Consequence

When the hypotheses hold, one obtains a canonical countable model determined by finite substructures; this yields strong symmetry (large automorphism group) and a method to classify countable models by their ages.

Reversal

Instead of constructing the unique limit from a class, one could start from a fixed countable ultrahomogeneous structure and consider its age; the reversal emphasizes deriving the class from the structure rather than the structure from the class.

Boundary

Applies to countable languages and countable classes of finite (finitely generated) structures with the amalgamation property; it does not directly apply to uncountable classes, infinite-arity signatures, or classes lacking amalgamation.

Semantic Tension

Tension exists between 'ultrahomogeneous' (every finite partial isomorphism extends) and 'universal' (contains copies of all structures in a class): Fraïssé limits combine both but are strictly about countable amalgamation classes, not every universal homogeneous structure.

Synthesis

A Fraïssé limit is the canonical countable model whose finite substructures constitute a prescribed countable amalgamation class; existence and uniqueness follow from the hereditary, joint embedding, and amalgamation properties and produce a maximally symmetric realization of the class.