Category:Model theory
Wikimedia Commons has media related to Model theory.
Model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other.
Pages in category "Model theory"
The following 44 pages are in this category, out of 116 total. This list may not reflect recent changes.
(previous page) (next page)P
S
- Satisfiability
- Saturated model
- Semantics of logic
- Signature (logic)
- Skolem normal form
- Skolem's paradox
- Soundness
- Spectrum of a theory
- Stability spectrum
- Stable group
- Stable theory
- Standard model (set theory)
- Strength (mathematical logic)
- Strongly minimal theory
- Structural Ramsey theory
- Structure (mathematical logic)
- Substructure (mathematics)