# Category: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 108 pages are in this category, out of 108 total. This list may not reflect recent changes (learn more).

### A

### C

### 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
- Structure (mathematical logic)
- Substructure

### T

This page is based on the copyrighted Wikipedia article "Category:Model theory"; it is used under the Creative Commons
Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may
redistribute it, verbatim or modified, providing that you comply with
the terms of the CC-BY-SA