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.