Abstract model theory
Appearance
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
axiomatization of abstract model theory.[4]
See also
References
- ISBN 3-7643-8707-6page 3
- ISBN 0-444-86388-5page 45
- ISBN 978-3-7643-7259-0pages 20–25
- ^ J. Barwise, 1974 "Axioms for abstract model theory", Annals of Mathematical Logic 7:221–265
Further reading
- Jon Barwise; ISBN 978-0-387-90936-3.