Category:Model theory
Here is a list of articles in the Model theory category of the Computing portal that unifies foundations of mathematics and computations using computers.
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.
Subcategories
This category has the following 3 subcategories, out of 3 total.
- Non-standard analysis (8 P)
- Nonstandard analysis (30 P)
Pages in category "Model theory"
The following 119 pages are in this category, out of 119 total.
A
C
D
E
F
G
I
M
P
S
- Satisfiability
- Saturated model
- Semantics of logic
- Philosophy: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)
