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.
[1] Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships.
[2] The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem.
[3] In 1974 Jon Barwise provided an axiomatization of abstract model theory.
This mathematical logic-related article is a stub.