Category:Definitions/Model Theory
This category contains definitions related to Model Theory.
Related results can be found in Category:Model Theory.
Model theory is a sub-branch of mathematical logic which studies mathematical structures by means of formal languages.
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Definitions/Model Theory"
The following 63 pages are in this category, out of 63 total.
C
D
E
F
M
- Definition:Metamodel
- Definition:Minimal (Model Theory)
- Definition:Model (Boolean Interpretations)
- Definition:Model (Logic)
- Definition:Model (Logic)/Logical Formula
- Definition:Model (Logic)/Set of Logical Formulas
- Definition:Model (Predicate Logic)
- Definition:Model of Formula (Predicate Logic)
- Definition:Model of Logical Formula
- Definition:Model of Sentence (Predicate Logic)
- Definition:Model of Set of Formulas
- Definition:Model Theory
- Definition:Monster Model
S
- Definition:Saturated Model
- Definition:Semantic Equivalence (Predicate Logic)
- Definition:Semantic Equivalence/Predicate Logic
- Definition:Signature (Logic)/Predicate Logic
- Definition:Signature (Model Theory)
- Definition:Stability (Model Theory)
- Definition:Stability (Model Theory)/Kappa-Stable Structure
- Definition:Stability (Model Theory)/Kappa-Stable Theory
- Definition:Stability (Model Theory)/Stable Theory
- Definition:Stability (Model Theory)/Unstable Theory
- Definition:Stable Theory
- Definition:Standard Structure
- Definition:Structure (Set Theory)
- Definition:Subsignature
- Definition:Subsignature/Supersignature
- Definition:Supersignature
