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. Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships. The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem.
- Institution-independent model theory by Răzvan Diaconescu 2008 ISBN:3-7643-8707-6 page 3
- Handbook of mathematical logic by Jon Barwise 1989 ISBN:0-444-86388-5 page 45
- Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 ISBN:978-3-7643-7259-0 pages 20–25
- J. Barwise, 1974 "Axioms for abstract model theory", Annals of Mathematical Logic 7:221–265
- Jon Barwise; Solomon Feferman (1985). Model-theoretic logics. Springer-Verlag. ISBN 978-0-387-90936-3.
Original source: https://en.wikipedia.org/wiki/Abstract model theory. Read more