Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology

Model theory

Amalgamation property
Property of a class of models in universal algebra and model theory
Compactness theorem
Theorem
Elementary equivalence
Concept in model theory
Gödel's completeness theorem
Fundamental theorem in mathematical logic
Interpretation (model theory)
Concept in model theory
Löwenheim–Skolem theorem
Mathematical theorem
Model complete theory
Concept in model theory
Model theory
Area of mathematical logic
Quantifier elimination
Technique to simplify formulas
Reduct
Omission of operations and relations of a structure
Saturated model
Model for mathematical theories
Signature (logic)
Description of non-logical symbols
Skolem's paradox
Mathematical logic concept
Stable theory
Concerned with the notion of stability in model theory
Structure (mathematical logic)
Mapping of mathematical formulas to a particular meaning, in universal algebra and in model theory
Theory (mathematical logic)
Set of sentences in a formal language
Transfer principle
That all statements of some language that are true for some structure are true for another structure
Type (model theory)
Term in model theory and related areas of mathematics
Ultraproduct
Mathematical construction