A coherent introduction to current trends in model theory Contains articles by some of the most influential logicians of the last hundred years. No other public
Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950’s, it
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions o
Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back
Leading experts survey the connections between model theory and semialgebraic, subanalytic, p-adic, rigid and diophantine geometry.
