Abstract model theory explained

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.^[4]

See also

• Lindström's theorem
• Institution (computer science)
• Institutional model theory

Further reading

• Book: Jon Barwise. Solomon Feferman. Solomon Feferman. Model-theoretic logics. 1985. Springer-Verlag. 978-0-387-90936-3.

Notes and References

1. Institution-independent model theory by Răzvan Diaconescu 2008 page 3
2. Handbook of mathematical logic by Jon Barwise 1989 page 45
3. [Jean-Yves Béziau]
4. J. Barwise, 1974, Annals of Mathematical Logic 7:221–265