Definition:Model Theory

Definition

Model theory is a sub-branch of mathematical logic which studies mathematical structures by means of formal semantics for formal languages.

Historically, the greatest amount of research in model theory has focused on model theory for predicate logic.

Also see

• Results about model theory can be found here.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Entry: model theory
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Entry: model theory
• 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Entry: model theory