Abstract model theory
Jump to navigation
Jump to search
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
[edit | edit source]References
[edit | edit source]- ^ Institution-independent model theory by Răzvan Diaconescu 2008 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). page 3
- ^ Handbook of mathematical logic by Jon Barwise 1989 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). page 45
- ^ Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). pages 20–25
- ^ J. Barwise, 1974 "Axioms for abstract model theory", Annals of Mathematical Logic 7:221–265
Further reading
[edit | edit source]- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
