Grenzgebiet zwischen Modelltheorie und Algebra, das sich vor allem dem Studium von Klassen algebraischer Strukturen (z. B. Gruppen, Ringe, Körper, Moduln) mit bestimmten Eigenschaften widmet, wobei vielfältige Methoden und Ergebnisse der mathematischen Logik Verwendung finden.