Linked from

The 53 pages that link to Model theory, each with the reason it gives.

• Logical consequenceNarrower topic: Models provide the structures used to define semantic consequence.

• SoundnessNarrower topic: It supplies the models against which proved statements are checked.

• Compactness theoremNarrower topic: Compactness is one of model theory's central structural theorems.

• Formal systemNarrower topic: It examines what axioms mean when interpreted in mathematical structures.

• Logical equivalenceNarrower topic: It supplies the interpretations over which semantic equivalence is defined.

• Universal quantificationNarrower topic: It explains universal formulas through truth across every object in a model.

• SatisfiabilityNarrower topic: Satisfiability is defined through structures that make sentences true.

• Formal semanticsNarrower topic: It supplies structures and satisfaction relations for interpreting logical languages.

• Gödel's completeness theoremNarrower topic: The theorem lets model-theoretic truth be analyzed through formal derivability.

• CompletenessNarrower topic: Models supply the interpretations used to define semantic consequence.

• Consistency proofNarrower topic: A model satisfying a theory provides a semantic route to proving consistency.

• Löwenheim–Skolem theoremNarrower topic: The theorem is a foundational result about the range of models theories can have.

• Axiomatic systemNarrower topic: It examines which structures make the system's axioms true.

• Structure (mathematical logic)Narrower topic: Structures are the central semantic objects studied in model theory.

• Higher-order logicNarrower topic: It distinguishes interpretations in which higher-order quantifiers range over all or only some properties.

• Quantifier eliminationNarrower topic: Quantifier elimination is a central model-theoretic property of theories.

• Tarski's axiomsNarrower topic: Tarski's axioms invite analysis of which point structures satisfy the same geometric sentences.

• Lindenbaum's lemmaNarrower topic: The lemma became a standard tool linking syntactic consistency to semantic models.

• Skolem's paradoxNarrower topic: Skolem's paradox is a consequence of how first-order theories admit models.

• Lindström's theoremNarrower topic: Lindström's theorem arose within model theory's study of logic and structures.

• Trakhtenbrot's theoremNarrower topic: Its distinction between finite and arbitrary structures gives the theorem its setting.

• Universe (mathematics and logic)Narrower topic: It examines how different universes can satisfy the same theory.