Eine Klasse von Strukturen in einer festen Sprache, die durch eine (möglicherweise unendliche) Menge erster-Ordnung-Formeln axiomisierbar ist; äquivalent ist dies zur Abschließung unter Isomorphie und elementarer Äquivalenz bzw. Charakterisierungen durch Ultraprodukte.

Prinzip

Sammle Modelle durch erste-Ordnung-Axiome so, dass die Zugehörigkeit durch Erfüllung dieser Axiome bestimmt ist; elementare Klassen sind genau Modellklassen erster-Ordnungstheorien.

Demonstration

Die Klasse der algebraisch abgeschlossenen Körper charakteristik 0 ist elementar, denn sie ist die Klasse der Modelle einer ersten-Ordnung-Theorie, die Körperaxiome zusammen mit Existenzschemata für algebraischen Abschluss und der Charakteristikkondition ausdrückt.

Fehlanwendung

Eine Klasse, die nur im zweiten-Ordnung- oder infinitären Kontext oder durch rein semantische Abschlusseigenschaften definierbar ist (z. B. Abschluß unter beliebigen Teilstrukturen), als elementar zu bezeichnen; oder anzunehmen, dass Abschlüsse unter beliebigen Vereinigungen elementar erhalten bleiben.

Konsequenz

Elementare Klassen erlauben Fragen zu Vollständigkeit, Kompaktheitargumente, Ultraproduktkonstruktionen und syntaktische Manipulationen; modeltheoretische Invarianten wie Typen und Sättigung gelten systematisch.

Umkehrung

Nicht-elementare Klassen (z. B. pseudo-elementare Klassen oder AECs) besitzen keine eindeutige erste-Ordnung-Axiomatisierung und erfordern andere Werkzeuge wie infinitäre Sprachen oder kategoriale Beschreibungen.

Abgrenzung

Der Begriff ist auf erste-Ordnung-Axiomatisierbarkeit beschränkt: Klassen, die nur in infinitären Logiken, durch Abschlusseigenschaften oder höherordentliche Beschränkungen definierbar sind, sind ausgeschlossen; elementare Äquivalenz und Ultraprodukt-Abschluss markieren die Grenze.

Semantische Spannung

Es besteht Spannung zwischen syntaktischer Definierbarkeit (Axiome) und semantischen Abschlusseigenschaften (Isomorphie, Ultraprodukte); manche natürliche Modellklassen sind nur nach Hinzufügen von Schemata oder Erweiterung des Sprachraums elementar.

Synthese

Eine elementare Klasse ist die Klasse der Modelle einer ersten-Ordnung-Theorie: eine syntaktisch axiomisierbare Sammlung von Strukturen, deren modeltheoretisches Verhalten (Ultraprodukte, Sättigung, Vollständigkeitsfragen) durch die erste Ordnung bestimmt wird.