Editing Category:Model theory

{{Cat main}}
{{Commons category}}
{{contrast|Proof theory}}
{{Portal|Philosophy|Mathematics}}

Model theory is the study of the relationship between [[theory (mathematical logic)|formal theories]] (a collection of [[Sentence (mathematical logic)|sentences]] in a [[formal language]] expressing statements about a [[Structure (mathematical logic)|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 [[definable set| defined]] in a model of a theory, and the relationship of such definable sets to each other.

[[Category:Mathematical logic|*]]
[[Category:Mathematical proofs]]
[[Category:Mathematical modeling|Theory]]

{{CatAutoTOC}}