# 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.

- Model theorists (40 P)
- Nonstandard analysis (28 P)
- Universal algebra (36 P)

## Pages in category "Model theory"

The following 110 pages are in this category, out of 110 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)