Eine linear geordnete Familie (M_i : i ∈ I) von Strukturen in einer festen Sprache, so dass für jedes i

Prinzip

Baue größere Modelle durch sukzessive Erweiterungen entlang elementarer Einbettungen, sodass die Wahrheit erster-Ordnung-Formeln in jeder Stufe erhalten bleibt und die Vereinigung eine elementare Erweiterung jedes Glieds ist.

Demonstration

Für eine Kette (M_n)_{n∈ω} mit M_n ⊨ T und M_n ≺ M_{n+1} ist die Vereinigung ⋃_{n} M_n ein Modell von T und eine elementare Erweiterung jedes M_n; diese Technik konstruiert zählbare elementare Erweiterungen oder direkte Limiten in der Modelltheorie.

Fehlanwendung

Anzunehmen, dass Vereinigungen beliebig indizierter Familien ohne Prüfung von Gerichtheit oder Elementarität die Theorie erhalten; oder bloße Einschlussketten (nicht elementar) als elementare Ketten zu behandeln, was die Wahrheitsbewahrung zerstören kann.

Konsequenz

Ketten erlauben das Gewinnen von Limitmodellen, die Kontrolle von Sättigung durch Approximationen und das Beweisen von Existenzresultaten (z. B. gesättigte Modelle durch Vereinigungen wachsender Ketten elementarer Erweiterungen).

Umkehrung

Mit nicht-elementaren Ketten oder beliebigen gerichteten Systemen von Einbettungen zu arbeiten, bei denen Formeln nicht punktweise erhalten bleiben, was die Überprüfung der Wahrheit im Limes erforderlich macht.

Abgrenzung

Eine elementare Kette verlangt Elementarität an den Nachfolgeschritten; beliebige wachsende Folgen von Teilstrukturen, die keine elementaren Einbettungen sind, fallen nicht darunter; die Eigenschaft betrifft die Erhaltung erster-Ordnung-Wahrheit, nicht nur isomorphe Inklusion.

Semantische Spannung

Der Ausdruck steht im Spannungsfeld zur informellen Idee jeder zunehmenden Folge von Strukturen; die technische Forderung elementarer Einbettung unterscheidet ihn von gewöhnlichen Ketten von Teilstrukturen.

Synthese

Eine elementare Kette ist eine aufsteigende, linear geordnete Familie von Strukturen, verbunden durch elementare Einbettungen, sodass ihre Vereinigung als kohärente elementare Erweiterung die erste-Ordnung-Wahrheit bewahrt.