What is Model Theory?

Mathematical Logic · Axiom Academy

Explore the fascinating bridge between formal languages and mathematical structures! Model theory studies the relationship between two fundamental worlds: the world of formulas (syntax) and the world of structures (semantics). Let's explore these worlds! Symbolic statements in a formal language Mathematical objects where formulas have meaning The formula says: "For every x, there exists a y such that x < y" A formula can be true in some structures and false in others. Select different structures to see which ones are models of the formula ∃x (x + x = 0). "There exists an x such that x + x = 0" Hint: Which structures have an element that satisfies the formula? The Interplay: Syntax and Semantics Model theory is about the dance between syntax (what we can write) and semantics (what is true). Try evaluating a formula in a specific structure! "There exists a y such that x < y" For each element, ask: "Is there a larger element in the structure?" Model theory has powerful applications! One key result is the Compactness Theorem. Explore this idea by building a theory. If every finite subset of sentences has a model, then the entire infinite set has a model! Question: Does T have a model? Each finite subset has a model in ℕ, so by Compactness... Model theory studies the relationship between formal languages (syntax) and mathematical structures (semantics). It asks: Which structures make which formulas true?

This is the written version of the interactive lesson above. See the full Mathematical Logic course.