La clase (a isomorfismo cerca) de todas las estructuras finitamente generadas — en el contexto de Fraïssé, finitas — que se embeben en una estructura contable dada; registra los patrones finitos realizados dentro de la estructura.

Principio

El edad abstrae los datos combinatorios locales de una estructura listando los tipos de isomorfismo de sus subestructuras finitas (o finitamente generadas); dos estructuras con la misma edad realizan las mismas configuraciones finitas aun cuando difieran globalmente.

Demostración

La edad de (Q,<) es la clase de todos los órdenes lineales finitos; la edad del grafo de Rado es la clase de todos los grafos simples finitos.

Aplicación incorrecta

Confundir la edad con el conjunto de todas las subestructuras sin modular por isomorfismo, incluir subestructuras infinitas, o tratar la edad como un invariante elemental (de primer orden) en lugar de un invariante de patrones finitos.

Consecuencia

Conocer la edad restringe los posibles límites de Fraïssé y determina, bajo hipótesis de amalgama, una estructura homogénea canónica contable; es el invariante primario en problemas de clasificación por patrones finitos.

Inversión

Invertir la perspectiva: partir de una clase de estructuras finitas (candidata a ser una edad) y preguntar si surge como la edad de alguna estructura contable, cambiando la dirección estructura→clase por clase→estructura.

Límite

La edad concierne solo a subestructuras finitamente generadas (a menudo finitas); no captura propiedades combinatorias infinitas ni propiedades de primer orden como completitud o satisfacción de fórmulas infintarias.

Tensión semántica

Tensión entre 'edad' y 'teoría': la edad trata sobre tipos combinatorios finitos a isomorfismo cerca, mientras que la teoría elemental captura sentencias de primer orden; se solapan pero una no determina necesariamente a la otra.

Síntesis

La edad de una estructura es el catálogo de sus tipos de isomorfismo finitos (o finitamente generados); codifica los patrones locales finitos que, organizados por propiedades de amalgama, pueden reconstruir estructuras homogéneas canónicas.