A relation that assigns how semantic, model-theoretic properties of mathematical structures correspond to syntactic or axiomatic features of the formal theories that describe those structures.

Principle

Syntactic conditions on a theory (axioms, inference rules) determine classes of models; conversely, invariant properties of classes of models reflect back as syntactic constraints on theories describing them.

Demonstration

Completeness theorem: syntactic provability in a first-order theory corresponds to truth in all its models; Łoś's theorem: truth of first-order formulas in an ultraproduct corresponds to truth in almost all factor structures, connecting a construction on models to preservation of formulas.

Misapplication

Assuming every semantic phenomenon has a neat finite syntactic characterization (e.g., treating non-elementary classes as if they were first-order axiomatizable) or inferring that elementary equivalence implies identical axiomatizations.

Consequence

Enables translation of problems between syntax and semantics: one can prove semantic classification results by syntactic manipulation and vice versa, leading to model classification, decidability results, and transfer principles.

Reversal

Viewing the relation only from syntax to semantics (axioms generate models) without recognizing that model-theoretic invariants can force or preclude certain syntactic forms.

Boundary

Primarily applies to elementary (first-order) frameworks and to logics with a well-behaved satisfaction relation; weakens or fails for higher-order logics, infinitary logics, or non-elementary classes where syntactic descriptions may be unavailable or non-unique.

Semantic Tension

Tension between 'correspondence' as a faithful equivalence (exact bi-translation) versus a weaker directional mapping (one-sided preservation or reflection) where some properties are only partially captured.

Synthesis

The Model-Theoretic Correspondence is the principled mapping between what theories assert syntactically and the invariant properties of their models, used to transfer results and characterize theories by their models while respecting the limits of the chosen logic.