Eine abzählbare Struktur, die ultrahomogen ist und deren Alter mit einer gegebenen abzählbaren Klasse endlicher Strukturen übereinstimmt, die unter Unterstrukturen und Isomorphien abgeschlossen ist und die Vereinigungs- und Amalgamierungseigenschaften besitzt; sie ist bis auf Isomorphie eindeutig und realisiert alle endlichen Muster der Klasse.

Prinzip

Aus einer abzählbaren Klasse endlicher Strukturen, abgeschlossen unter Isomorphie und Unterstruktur und mit Joint-Embedding- und Amalgamierungseigenschaften, ergibt sich eine eindeutige (bis auf Isomorphie) abzählbare ultrahomogene Struktur, deren endlich erzeugte Teilstrukturen genau diese Klasse bilden.

Demonstration

Die rationalen mit der gewöhnlichen Ordnung (Q,<) sind das Fraïssé-Limit der Klasse aller endlichen linear geordneten Mengen; der Rado-Graph ist das Fraïssé-Limit der Klasse aller endlichen simplen Graphen.

Fehlanwendung

Eine beliebige abzählbare homogene oder universelle Struktur fälschlich als Fraïssé-Limit zu bezeichnen, obwohl ihr Alter keine abzählbare Amalgamationsklasse ist oder die Sprach- bzw. Endlichkeitsbedingungen verletzt sind.

Konsequenz

Sind die Voraussetzungen erfüllt, erhält man ein kanonisches abzählbares Modell, das durch seine endlichen Teilstrukturen bestimmt ist; dies führt zu hoher Symmetrie (reiches Automorphismengruppenverhalten) und einer Klassifikationsmethode für abzählbare Modelle über ihre Alter.

Umkehrung

Statt aus einer Klasse das eindeutige Limit zu konstruieren, kann man von einer gegebenen abzählbaren ultrahomogenen Struktur ausgehen und ihr Alter betrachten; die Umkehrung betont das Ableiten der Klasse aus der Struktur.

Abgrenzung

Gilt für abzählbare Sprachen und abzählbare Klassen endlicher (bzw. endlich erzeugter) Strukturen mit Amalgamationseigenschaft; nicht unmittelbar anwendbar auf nicht abzählbare Klassen, Signaturen unendlicher Stelligkeit oder Klassen ohne Amalgamation.

Semantische Spannung

Spannung besteht zwischen 'ultrahomogen' (jede endliche partielle Isomorphie erweitert sich) und 'universell' (enthält Kopien aller Strukturen einer Klasse): Fraïssé-Limits verbinden beides, stehen jedoch klar im Kontext abzählbarer Amalgamationsklassen.

Synthese

Ein Fraïssé-Limit ist das kanonische abzählbare Modell, dessen endliche Teilstrukturen genau eine vorgegebene abzählbare Amalgamationsklasse bilden; Existenz und Eindeutigkeit folgen aus Heredität, Joint Embedding und Amalgamation und liefern eine maximal symmetrische Realisierung der Klasse.