## [Fraïssé-Limit](/de/node/60080) Definition 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 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 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 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 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 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 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 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 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.