Model Theory Summary

Mathematical Logic · Axiom Academy

Let's review the fundamental concepts of model theory and the deep relationship between syntax and semantics in first-order logic. Model Theory's Core Question: How do formal languages relate to mathematical structures? Model theory bridges the gap between syntactic formulas and their semantic interpretations. Structures: A structure M consists of a domain (universe) and interpretations for all symbols in the language—constants become elements, relations become sets, functions become operations. Satisfaction: We write M ⊨ φ when structure M satisfies formula φ . This is the fundamental semantic relationship. Models of Theories: A structure M is a model of theory T if it satisfies all axioms in T . Different structures can model the same theory. Definition: Two structures M and N are elementarily equivalent ( M ≡ N ) if they satisfy exactly the same first-order sentences. Key Insight: Elementary equivalence means structures have identical first-order properties, even if they look different structurally. First-order logic cannot distinguish them. Beyond Isomorphism: Isomorphic structures are always elementarily equivalent, but the converse is false—elementarily equivalent structures need not be isomorphic. Example: The real numbers (ℝ, <) and hyperreals (*ℝ, <) are elementarily equivalent but not isomorphic. Downward LS: If a countable first-order theory has an infinite model, it has a countable model. You cannot force uncountability using first-order axioms alone.

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