Model-Theoretic Correspondence

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.