abstract model theory

In mathematical logic, abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their models.Institution-independent model theory by Răzvan Diaconescu 2008 {{ISBN|3-7643-8707-6}} page 3

Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships.Handbook of mathematical logic by Jon Barwise 1989 {{ISBN|0-444-86388-5}} page 45 The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem.Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 {{ISBN|978-3-7643-7259-0}} pages 20–25

In 1974 Jon Barwise provided an axiomatization of abstract model theory.J. Barwise, 1974 {{doi-inline|10.1016/0003-4843(74)90016-3|"Axioms for abstract model theory"}}, Annals of Mathematical Logic 7:221–265