Poizat, Bruno. (2000) A Course in Model Theoryan Introduction to Contemporary Mathematical Logic New York, NY : Springer New York,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
A Course in Model Theory [electronic resource] : an Introduction to Contemporary Mathematical Logic /
by Bruno Poizat.
|Main Author:||Poizat, Bruno.|
|Published:||New York, NY : Springer New York, 2000.|
|Topics:||Mathematics. | Logic, Symbolic and mathematical.|
|Physical Description:||1 online resource (xxxi, 443 pages).
|ISBN:||9781441986221 electronic bk.
1441986227 electronic bk.
|Summary:||This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.
SpringerLink (Online service)