Die Modelltheorie ist ein Zweig der mathematischen Logik.

In der Modelltheorie werden mathematische Strukturen mit Hilfe der Logik untersucht.

Die Modelltheorie ist eng mit der Algebra, der Geometrie und der Zahlentheorie verknüpft.

Eine wichtige Anwendung der Modelltheorie ist die Klassifikationstheorie.

Die Modelltheorie hat wichtige Anwendungen in Computerwissenschaften gefunden.