Skip to main content

Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.

Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models. (From Chang and Keisler's Model Theory, 1973)