## [Tarski‑Vaught‑Kriterium](/de/node/60388) Definition Ein syntaktisches Kriterium, um zu entscheiden, wann eine Teilstruktur A einer Struktur M (in einer gegebenen erstenordentlichen Sprache) eine elementare Teilstruktur ist: A ist genau dann elementar in M, wenn für jede Formel φ(x,y) und jedes Tupel a aus A gilt: Wenn M ⊨ ∃x φ(x,a), dann existiert ein b in A mit M ⊨ φ(b,a). Äquivalent: A ist in M unter existenziellen Zeugen für Formeln mit Parametern aus A abgeschlossen. ## Prinzip Prinzip Elementarität lässt sich durch Existenz von Zeugen prüfen: Damit eine Teilstruktur elementar ist, muss sie für jede in M wahre existenzielle Aussage mit Parametern aus der Teilstruktur einen Zeugen in sich selbst enthalten. ## Demonstration Demonstration Bei der absteigenden Löwenheim‑Skolem‑Konstruktion verifiziert man oft die Elementarität des konstruierten Teilmodells mittels des Tarski‑Vaught‑Kriteriums: Indem man sukzessive abzählbar viele Zeugen für existenzielle Formeln zu einer wachsenden Menge hinzufügt, erfüllt die Grenzmenge das Kriterium und ist somit ein elementares Teilmodell der Ausgangsstruktur. ## Fehlanwendung Fehlanwendung Nur universelle Formeln verwenden oder vergessen, Parameter aus der Teilstruktur zuzulassen, wenn man den Test anwendet; ein weiterer Fehler ist die Annahme, das Kriterium gelte unverändert in Logiken jenseits der ersten Ordnung, ohne zusätzliche semantische Eigenschaften zu berücksichtigen. ## Konsequenz Konsequenz Der Test ist ein praktisches Werkzeug zum Aufbau und zur Erkennung elementarer Teilmodelle; er ermöglicht Konstruktionen von Ketten elementarer Teilstrukturen, Skolemhüllen und findet Anwendung in Kompaktheitsargumenten und modelltheoretischen Reduktionen. ## Umkehrung Umkehrung Das Versagen des Kriteriums zeigt Nicht‑Elementarität an: Es gibt eine existenzielle Formel mit Parametern aus A, die in M erfüllt ist, aber keinen Zeugen in A besitzt; folglich unterlässt A eine existenzielle Eigenschaft von M und kann nicht elementar sein. ## Abgrenzung Abgrenzung Gilt in der ersten Ordnung für Teilstrukturen eines gegebenen Modells in einer festen Sprache; es setzt die übliche Semantik voraus, wonach existenzielle Quantifizierung durch Elemente bezeugt wird, und verallgemeinert sich nicht automatisch auf höherstufige oder infinitäre Logiken ohne Anpassungen. ## Semantische Spannung Semantische Spannung Das Tarski‑Vaught‑Kriterium ist eine Bedingung über existentielle Zeugen, die komplementär zu semantischeren oder Back‑and‑Forth‑Charakterisierungen von Elementarität (z. B. Erfüllung aller Formeln oder partielle Isomorphismen) steht; Spannung entsteht bei der Wahl einer praxisgerechten Verifikationsmethode für Elementarität in konkreten Konstruktionen. ## Synthese Synthese Der Tarski‑Vaught‑Test reduziert die universelle Aufgabe, die Wahrheit aller Formeln zu prüfen, auf die Überprüfung der Existenz von Zeugen für existentielle Formeln mit Parametern: Eine Teilstruktur ist genau dann elementar, wenn sie unter existenziellen Zeugen abgeschlossen ist; daher ist das Kriterium zentral und leicht anwendbar beim Modellaufbau.