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

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

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

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

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

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

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

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

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.