# Category:Model theory

*https://en.wikipedia.org/wiki/Category:Model_theory*

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.

## Subcategories

This category has the following 5 subcategories, out of 5 total.

## Pages in category "Model theory"

The following 109 pages are in this category, out of 109 total. This list may not reflect recent changes ( learn more).

### A

### C

### D

### E

### F

### G

### I

### P

### S

- Satisfiability
- Saturated model
- Signature (logic)
- Skolem normal form
- Skolem's paradox
- Soundness
- Spectrum of a sentence
- Spectrum of a theory
- Stability spectrum
- Stable group
- Stable model semantics
- Stable theory
- Strength (mathematical logic)
- Strongly minimal theory
- Structural Ramsey theory
- Structure (mathematical logic)
- Substructure (mathematics)