|Wikimedia Commons has media related to Model theory.|
In mathematics, model theory is the study of (classes of) mathematical structures such as groups, fields, graphs or even models of set theory using tools from mathematical logic. Model theory has close ties to algebra and universal algebra.
This category has the following 5 subcategories, out of 5 total.
Pages in category "Model theory"
The following 108 pages are in this category, out of 108 total. This list may not reflect recent changes (learn more).
- Saturated model
- Signature (logic)
- Skolem normal form
- Skolem's paradox
- Spectrum of a sentence
- Spectrum of a theory
- Stability spectrum
- Stable group
- Stable model semantics
- Stable theory
- Strength (mathematical logic)
- Strongly minimal theory
- Structure (mathematical logic)
- Substructure (mathematics)