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]
| General | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Theorems (list) and paradoxes | |||||||||
| Logics |
| ||||||||
| Set theory |
| ||||||||
| Formal systems (list), language and syntax |
| ||||||||
| Proof theory | |||||||||
| Model theory | |||||||||
| Computability theory | |||||||||
| Related | |||||||||
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
