Model Theory

The branch of mathematical logic that studies formal languages and their interpretations (models), focusing on the relationships between syntactic theories and semantic structures: satisfiability, elementary equivalence, definability, types, and model-theoretic properties such as completeness, compactness, and stability.

The branch of mathematical logic that studies formal languages, theories, and their models, connecting syntactic properties of theories (like completeness and decidability) with semantic properties of classes of structures (such as categoricity, stability, and elimination of imaginaries) and providing tools to analyze algebraic structures via logical invariants.

Model theory is the study of the relationships between formal languages (signatures and sentences) and mathematical structures (models) that interpret them: it analyses satisfaction relations, classes of structures that satisfy given theories, and connections between syntactic properties of theories and semantic properties of their models (e.g., completeness, elementary equivalence, embeddings), w