La classe (à isomorphisme près) de toutes les structures finiment engendrées — dans le cadre de Fraïssé : finies — qui s'immergent dans une structure dénombrable donnée ; elle enregistre les motifs finis réalisés à l'intérieur de la structure.

Principe

L'âge abstrait les données combinatoires locales d'une structure en énumérant les types d'isomorphisme de ses sous-structures finies (ou finiment engendrées) ; deux structures de même âge réalisent les mêmes configurations finies même si elles diffèrent globalement.

Démonstration

L'âge de (Q,<) est la classe de tous les ordres linéaires finis ; l'âge du graphe de Rado est la classe de tous les graphes simples finis.

Mauvaise application

Confondre l'âge avec l'ensemble de toutes les sous-structures sans quotienter par isomorphisme, inclure des sous-structures infinies, ou considérer l'âge comme un invariant élémentaire (du premier ordre) plutôt que comme un invariant des motifs finis.

Conséquence

Connaître l'âge contraint les limites de Fraïssé possibles et, sous les hypothèses d'amalgamation, détermine une structure homogène canonique dénombrable ; c'est l'invariant central dans les problèmes de classification par motifs finis.

Inversion

Inversement, on peut partir d'une classe de structures finies (un candidat à être un âge) et se demander si elle est l'âge d'une structure dénombrable, renversant la direction structure→classe en classe→structure.

Limite

L'âge concerne uniquement les sous-structures finiment engendrées (souvent finies) ; il ne capture pas les propriétés combinatoires infinies ni les propriétés du premier ordre comme la complétude ou la satisfaction de phrases infinitaires.

Tension sémantique

Tension entre 'âge' et 'théorie' : l'âge porte sur les types combinatoires finis à isomorphisme près, tandis que la théorie élémentaire capture les phrases du premier ordre ; elles se recoupent mais l'une n'implique pas nécessairement l'autre.

Synthèse

L'âge d'une structure est le catalogue de ses types d'isomorphisme finis (ou finiment engendrés) ; il encode les motifs locaux finis qui, organisés par des propriétés d'amalgamation, peuvent reconstruire des structures homogènes canoniques.