Model Theory

the long version

Model theory is the study of mathematical structures such as groups, fields, graphs or even universes of set theory, using tools from mathematical logic. A structure that gives meaning to the sentences of a formal language is called a model for the language. If a model for a language moreover satisfies a particular sentence or theory, it is called a model of the sentence or theory. Model theory has close ties to algebra and universal algebra. This is an up-to-date book of model theory display a vast range of mathematical understanding and connection while at the same time delineating various ways in which model theory is and can be undertaken, with startling effect. It will beneficial for graduate students with an interest in model theory.