Error
From HandWiki
The revision #934593 of the page named "Category:Model theory" does not exist.
This is usually caused by following an outdated history link to a page that has been deleted. Details can be found in the deletion log.
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)