Structure Homogène

Une structure homogène est un modèle dans lequel tout isomorphisme entre sous-structures finies (ou autrement petites, selon le contexte) s’étend en un automorphisme de la structure entière ; équivalemment, des tuples ayant le même type quantificateur-libre (ou complet) sur l’ensemble vide se trouvent dans la même orbite sous le groupe des automorphismes, ce qui témoigne d’une forte symétrie inter

Une structure est dite homogène (souvent ultrahomogène) si tout isomorphisme entre ses sous-structures finies s'étend en un automorphisme de la structure entière. Autrement dit, les motifs finis présents dans la structure peuvent être déplacés partout par des symétries globales.