Eine Klasse von Strukturen, die genau die Klasse der Modelle einer gewissen ersten‑Ordnungstheorie ist; äquivalent: eine Klasse, die unter elementarer Äquivalenz und unter elementaren Teilstrukturen abgeschlossen ist.

Prinzip

Elementare Klassen sind diejenigen, die auf der Ebene der ersten Ordnung definierbar sind: die Zugehörigkeit lässt sich durch Erfüllung einer Menge erster‑Ordnungsaussagen charakterisieren und ist stabil unter Erhaltssätzen, die zur ersten‑Ordnung‑Semantik gehören (elementare Teil‑ und Erweiterungsstrukturen).

Demonstration

Die Klasse der algebraisch abgeschlossenen Körper der Charakteristik 0 ist elementar, weil sie die Modelle der ersten‑Ordnungstheorie ACF_0 bildet; jede elementare Teilstruktur eines solchen Körpers ist wieder algebraisch abgeschlossen und hat Charakteristik 0.

Fehlanwendung

Eine Klasse als elementar zu bezeichnen, weil sie unter Isomorphie abgeschlossen ist, reicht nicht aus; beispielsweise ist die Klasse der endlichen Gruppen zwar isomorphieabgeschlossen, aber nicht elementar, da Endlichkeit nicht erste‑Ordnung ausdrückbar ist.

Konsequenz

Ist eine Klasse elementar, können modeltheoretische Werkzeuge angewandt werden: vollständige Theorien, primäre und saturierte Modelle in der Klasse lassen sich betrachten, und Kompaktheit sowie Löwenheim‑Skolem helfen bei der Analyse von Spektren und definierbaren Mengen.

Umkehrung

Eine nicht‑elementare Klasse (z. B. eine abstrakte elementare Klasse oder eine nur in infinitärer Logik definierte Klasse) kann ebenfalls sinnvoll sein, besitzt aber keine Charakterisierung durch eine erste‑Ordnungstheorie und ist möglicherweise nicht unter elementaren Teilstrukturen oder elementarer Äquivalenz abgeschlossen.

Abgrenzung

Begrenzt auf in erster Ordnung formulierte Definitionen; schließt Klassen aus, die nur durch zweite‑Ordnung‑ oder infinitäre Bedingungen oder durch Kardinalitätsvorgaben wie 'endlich' oder 'abzählbar' beschrieben werden können.

Semantische Spannung

Spannung zwischen 'axiomatisierbar' (durch eine erste‑Ordnungsmengen von Axiomen) und 'endlich axiomatisierbar' oder 'durch universelle Sätze axiomatisierbar' — verschiedene Autoren nutzen 'elementar', um Schließeigenschaften zu betonen, was Unklarheit über Quantorrestriktionen erzeugen kann.

Synthese

Eine elementare Klasse ist die modeltheoretische Verkörperung erster‑Ordnungs‑Definierbarkeit: eine Menge von Strukturen, exakt erfassbar durch eine erste‑Ordnungstheorie und stabil unter den elementaren Erhaltungseigenschaften der ersten Ordnung.