A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext) - Hardcover

Poizat, Bruno

Hardcover

ISBN 10: 0387986553 ISBN 13: 9780387986555

Publisher: Springer, 2000

Synopsis

Can we reproduce the inimitable, or give a new life to what has been af­ fected by the weariness of existence? Folks, what you have in your hands is a translation into English of a book that was first published in 1985 by its author, that is, myself, at the end of an editorial adventure about which you will find some details later. It was written in a dialect of Latin that is spoken as a native language in some parts of Europe, Canada, the U. S. A. , the West Indies, and is used as a language of communication between several countries in Africa. It is also sometimes used as a lan­ guage of communication between the members of a much more restricted community: mathematicians. This translation is indeed quite a faithful rendering of the original: Only a final section, on the reals, has been added to Chapter 6, plus a few notes now and then. On the title page you see an inscription in Arabic letters, with a transcription in the Latin (some poorly informed people say English!) alphabet below; I designed the calligraphy myself.

About this title

Synopsis

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.

Edition details

• Publisher: Springer
• Publication date: 2000
• Language: English
• ISBN 10: 0387986553
• ISBN 13: 9780387986555
• Binding: Hardcover
• Number of pages: 474