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.
Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Model_Theory&oldid=230149"