Une famille ordonnée linéairement (M_i : i ∈ I) de structures dans un même langage telle que pour chaque i

Principe

Construire des modèles plus grands en étendant successivement via des plongements élémentaires pour que la vérité des formules du premier ordre soit préservée à chaque étape et que l'union reste une extension élémentaire de chaque membre.

Démonstration

Étant donné une chaîne (M_n)_{n∈ω} avec M_n ⊨ T et M_n ≺ M_{n+1}, l'union ⋃_{n} M_n est un modèle de T et une extension élémentaire de chaque M_n ; cette technique construit des extensions élémentaires dénombrables ou des limites directes en théorie des modèles.

Mauvaise application

Supposer que des unions indexées arbitrairement préservent la théorie sans vérifier la directedness ou l'élémentarité ; ou confondre des chaînes d'inclusions (non élémentaires) avec des chaînes élémentaires, ce qui peut rompre la préservation des formules.

Conséquence

Les chaînes permettent d'obtenir des modèles limites, de contrôler la saturation par approximations et de démontrer des résultats d'existence (par exemple des modèles saturés via des unions de chaînes croissantes de extensions élémentaires).

Inversion

Travailler avec des chaînes non élémentaires ou des systèmes dirigés arbitraires d'inclusions où les formules ne sont pas préservées point par point, obligeant à revérifier la vérité à la limite.

Limite

Une chaîne élémentaire exige l'élémentarité aux étapes successeurs ; des suites croissantes arbitraires de sous-structures qui ne sont pas des plongements élémentaires sont exclues ; la propriété concerne la préservation de la vérité premièrement-ordonnée, pas seulement l'inclusion isomorphe.

Tension sémantique

L'expression entre en tension avec l'idée informelle de toute suite croissante de structures ; l'exigence technique de plongement élémentaire la distingue des chaînes ordinaires de sous-structures.

Synthèse

Une chaîne élémentaire est une famille croissante et linéairement ordonnée de structures reliées par des plongements élémentaires de sorte que leur union se comporte comme une extension élémentaire cohérente préservant la vérité du premier ordre.