Definition:Model Theory

From ProofWiki
Jump to navigation Jump to search

Definition

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


Also see

  • Results about model theory can be found here.