Modelltheorie

Die Modelltheorie ist ein Teilgebiet der mathematischen Logik. Inhalt der Modelltheorie sind die Beziehungen zwischen den rein formalen Ausdrücken einer Sprache (syntaktische Ebene) und deren Bedeutung (semantische Ebene). Diese Beziehung wird über sogenannte Interpretationen und eine als Erfüllungsrelation bezeichnete mathematische Relation hergestellt. Ganz allgemein gesprochen beschäftigt sich die Modelltheorie mit der Konstruktion und der Klassifikation von allen (möglichen) Strukturen und Klassen von Strukturen, im Besonderen mit solchen Strukturen, die axiomatisierbaren Sprachen oder Theorien entsprechen. Dabei geht es u. a. um die Aufgabe, Modelle für ein vorgegebenes Axiomensystem zu konstruieren -- oft geht es um Modelle mit zusätzlichen Eigenschaften, die im Axiomensystem aber nicht spezifiziert werden können, z. B. die Kardinalität des Modells. Weiterhin beschäftigt sich die Modelltheorie mit der Äquivalenz von Modellen, etwa der Frage, ob in ihnen die gleichen Aussagen gelten, und der Frage, wie viele (nichtisomorphe) Modelle eines Axiomensystems es gibt.