Explore relationships

Model theory

In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure) and their models (those structures in which the statements of the theory hold).

Use + to expand a branch. Click a topic name to open its summary.