## [Elementare Kette](/de/node/61012) Definition Eine linear geordnete Familie (M_i : i ∈ I) von Strukturen in einer festen Sprache, so dass für jedes i ## Prinzip 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 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 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 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 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 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 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 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.