Die Klasse (bis auf Isomorphie) aller endlich erzeugten — im Fraïssé-Kontext: endlichen — Strukturen, die in eine gegebene abzählbare Struktur einbettbar sind; sie dokumentiert die endlichen Muster, die innerhalb der Struktur realisiert werden.

Prinzip

Das Alter abstrahiert die lokale kombinatorische Struktur einer Struktur, indem es die Isomorphietypen ihrer endlichen (oder endlich erzeugten) Teilstrukturen aufzählt; zwei Strukturen mit gleichem Alter realisieren dieselben endlichen Konfigurationen, auch wenn sie global verschieden sind.

Demonstration

Das Alter von (Q,<) ist die Klasse aller endlichen linearen Ordnungen; das Alter des Rado-Graphen ist die Klasse aller endlichen einfachen Graphen.

Fehlanwendung

Das Alter mit der Menge aller Teilstrukturen ohne Quotientbildung nach Isomorphie zu verwechseln, unendliche Teilstrukturen einzubeziehen oder das Alter als elementares (erste Ordnung) Invariante statt als Invariante endlicher Muster zu behandeln.

Konsequenz

Das Wissen um das Alter schränkt mögliche Fraïssé-Limits ein und bestimmt unter Amalgamationsannahmen eine kanonische homogene abzählbare Struktur; es ist das primäre Invariante in Klassifikationsaufgaben nach endlichen Mustern.

Umkehrung

Umgekehrt kann man von einer Klasse endlicher Strukturen (einem Kandidaten für ein Alter) ausgehen und fragen, ob sie als Alter einer abzählbaren Struktur auftritt, wodurch die Richtung Struktur→Klasse in Klasse→Struktur umgekehrt wird.

Abgrenzung

Das Alter bezieht sich nur auf endlich erzeugte (häufig endliche) Teilstrukturen; es erfasst keine unendlichen kombinatorischen Eigenschaften oder erste-Ordnung-Eigenschaften wie Vollständigkeit oder Erfüllung infinitärer Sätze.

Semantische Spannung

Spannung zwischen 'Alter' und 'Theorie': Alter betrifft endliche kombinatorische Typen bis auf Isomorphie, während die elementare Theorie erste-Ordnung-Sätze erfasst; sie überlappen, doch bestimmt das eine nicht zwingend das andere.

Synthese

Das Alter einer Struktur ist das Verzeichnis ihrer endlichen (oder endlich erzeugten) Isomorphietypen; es kodiert die lokalen endlichen Muster, die, geordnet durch Amalgamationseigenschaften, kanonische homogene Strukturen rekonstruieren können.