Category:Model theory: Difference between revisions

Wikimedia Commons has media related to

Model_theory

.

Lua error: bad argument #2 to 'title.new' (unrecognized namespace name 'Portal').

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). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other.