A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

ISBN-13: 9780387986555 / Angielski / Twarda / 2000 / 443 str.

Bruno Poizat; Moses Klein; M. Klein

Opis

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.

Recenzje

"It is with great satisfaction that I welcome the English translation of Poizat's Cours de théorie des modèles ... ." (Frank Wagner, zbMATH 0951.03002, 2022)

Spis treści

1 Elementary Classes of Relations.- The Language Associated with a Relation.- 3 Extensions of the Language: Structures.- 4 Compactness.- 5 The Back-and-Forth Method in ?-Saturated Models.- 6 Examples Illustrating the Back-and-Forth Method.- 7 Arithmetic.- 8 Ordinals and Cardinals.- 9 Saturated Models.- 10 Prime Models.- 11 Heirs.- 12 Special Sons, Morley Sequences.- 13 The Fundamental Order.- 14 Stability and Saturated Models.- 15 Forking.- 16 Strong Types.- 17 Notions of Rank.- 18 Stability and Prime Models.- 19 Stability, Indiscernible Sequences and Weights.- 20 Dimension in Models of a Totally Transcendental Theory.- Index of Notation.