Estructura Homogénea

Una estructura homogénea es un modelo en el que todo isomorfismo entre subestructuras finitas (o, según el contexto, pequeñas) se extiende a un automorfismo de la estructura entera; equivalentemente, tuplas con el mismo tipo cuántificador-libre (o completo) sobre el conjunto vacío pertenecen a la misma órbita bajo el grupo de automorfismos, mostrando una elevada simetría interna.

Una estructura se llama homogénea (a menudo ultrahomogénea) si todo isomorfismo entre sus subestructuras finitas se extiende a un autómorfismo de la estructura entera. Equivalentemente, los patrones finitos que aparecen en la estructura pueden trasladarse en cualquier lugar mediante simetrías globales.