 ##  [Edad (de una Estructura)](/es/node/60082) 

 Definición

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

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

Demostración

La edad de (Q,&lt;) 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

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

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

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

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 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

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.