Homogene Struktur

Eine homogene Struktur ist ein Modell, in dem jedes Isomorphismus zwischen endlichen (oder sonst nach Kontext kleinen) Teilstrukturen zu einem Automorphismus der gesamten Struktur erweitert werden kann; äquivalent liegen Tupel mit demselben quantorenfreien (oder vollständigen) Typ über der leeren Menge in derselben Bahn unter der Automorphismengruppe und zeigen so starke interne Symmetrie.

Eine Struktur heißt homogen (oft ultrahomogen), wenn jedes Isomorphismus zwischen ihren endlichen Teilstrukturen zu einem Automorphismus der gesamten Struktur erweiterbar ist. Äquivalent: endliche Muster, die in der Struktur auftreten, können durch globale Symmetrien beliebig verschoben werden.