πRoots
⊢

Model Theory

★★★★★Graduate+

📖Definition

Studies the relationship between formal languages and mathematical structures (models) interpreting them. Completeness, compactness, and Löwenheim-Skolem are key results.

🔗Related Documents

→Prerequisites

→first-order-logic→set-theory

←Next Topics

←stability-theory←categoricity

↔Related

↔universal-algebra↔ultraproducts

⚡Applications

⚡algebraic-geometry⚡number-theory
#logic#model-theory#semantics