- Source: Abstract model theory
- Model Ising
- Teori pilihan rasional
- Model ekonomi
- Teori permainan perilaku
- Ekonomi klasik
- Aljabar
- Bercerita
- Oskar R. Lange
- Analisis teknis
- Aljabar abstrak
- Abstract model theory
- Model theory
- Model
- Conceptual model
- Group theory
- Abstract machine
- Lindström's theorem
- Abstraction (mathematics)
- Model of computation
- Abstract logic
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.
In 1974 Jon Barwise provided an axiomatization of abstract model theory.
See also
Lindström's theorem
Institution (computer science)
Institutional model theory
References
Further reading
Jon Barwise; Solomon Feferman (1985). Model-theoretic logics. Springer-Verlag. ISBN 978-0-387-90936-3.