In einem gegebenen erstenordentlichen Strukturmodell M und für eine Parametersatz A ⊆ M ist der modelltheoretische algebraische Abschluss acl(A) die Menge aller Elemente von M, die eine Formel mit Parametern aus A erfüllen, die in M nur endlich viele Lösungen hat. Es ist ein Abschlussoperator, der modelltheoretische endliche Definierbarkeit über A erfasst.

Prinzip

acl wird durch das Kriterium der endlichen Lösungsmenge organisiert: Ein Element ist genau dann algebraisch über A, wenn es durch eine A-Parameter-Formel unter endlich vielen Lösungen isoliert wird. Daraus folgt ein monotoner, idempotenter Operator mit Finite-Character, der unter geeigneten Voraussetzungen eine Pre-Geometrie induziert.

Demonstration

In einem algebraisch abgeschlossenen Körper, betrachtet als ersteordentliche Struktur, gehört ein Element genau dann zu acl(A), wenn es im klassischen algebraischen Sinn über dem von A erzeugten Körper algebraisch ist; etwa ist eine Nullstelle eines nichtverschwindenden Polynoms mit Koeffizienten aus A in acl(A), da das Polynom nur endlich viele Nullstellen hat.

Fehlanwendung

acl(A) in beliebigen Theorien mit definierbarem Abschluss dcl(A) gleichzusetzen oder anzunehmen, jedes modelltheoretisch algebraische Element erzeuge eine endliche algebraische Erweiterung im algebraischen Sinn; solche Fehler vermischen verschiedene Abschlussbegriffe und ignorieren die Modellabhängigkeit und das Finite-Lösungs-Kriterium.

Konsequenz

Die korrekte Anwendung von acl liefert eine klare Notion algebraischer Abhängigkeit und führt oft zu einer Dimensionstheorie oder Pre-Geometrie (Austausch-Eigenschaft) in stabilen beziehungsweise ω-stabilen Kontexten, wodurch man Unabhängigkeit und kanonische Basen definieren und Typen nach algebraischem Rang einordnen kann.

Umkehrung

Die Umkehrperspektive ist algebraische Unabhängigkeit: Elemente, die nicht in acl(A) liegen, sind im modelltheoretischen Sinn über A transcendental, also hat jede A-Parameter-Formel, die sie isolieren würde, unendlich viele Lösungen; dies kontrastiert die Abhängigkeit durch Endlichkeit mit unbeschränkter Freiheit.

Abgrenzung

acl hängt vom umgebenden Modell und der Sprache ab: es erfasst nur die Endlichkeit von Lösungsmenge innerhalb des spezifizierten Modells, schließt unendliche definierbare Äquivalenzklassen aus und unterscheidet sich von anderen Abschlüssen (dcl, algebraischer Abschluss von Körpern), außer in speziellen Theorien; gute geometrische Eigenschaften benötigen zusätzliche modelltheoretische Voraussetzungen.

Semantische Spannung

acl steht im Spannungsverhältnis zu definierbarem Abschluss dcl: dcl verlangt eindeutige Definierbarkeit durch eine Formel, während acl endliche Mehrdeutigkeit zulässt. Es besteht außerdem Spannung zur klassischen algebraischen Abschlusserwartung in Körpern, wenn die Struktur kein Körper ist oder die Sprache variiert.

Synthese

Der modelltheoretische algebraische Abschluss fasst die Idee des durch Endlichkeit bestimmten Abhängigseins an Parametern in einem Abschlussoperator zusammen: er isoliert Elemente mit nur endlich vielen A-definierbaren Möglichkeiten und bildet, unter Stabilitätsannahmen, das geometrische Fundament für Unabhängigkeits- und Dimensionsargumente.