✳flâneur — a map of the web's best reading

Model theory - Wikipedia

en.wikipedia.org · 10,711 words · saved by 1 readers

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).[1] 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. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954.[2] Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory. Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit to

Model theory - Wikipedia Jump to content From Wikipedia, the free encyclopedia Area of mathematical logic This article is about the mathematical concept. For the informal notion in other parts of mathematics and science, see Mathematical model . 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). [ 1 ] The aspects investigated include the number and size of models of a the

Explore this link on the map →

related reading