Model Theory

ISBN-13: 9780521304429 / Angielski / Twarda / 1993 / 788 str.

Wilfrid Hodges; G. -C Rota; B. Doran

Opis

Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

Recenzje

"...an important contribution to the literature...one of the few (or perhaps the only) books in print that develop the essentials of model theory in the modern style...valuable for its novel treatment and exposition of some important topics...Throughout the book, Hodges's vast knowledge of logic impresses itself on the reader. There is a beautiful variety and mix of classical and more recent techniques and ideas, especially in applications. It is a pleasure to leaf through the book..." Anand Pillay, Jrl of Symbolic Logic

Spis treści

Part I. Language and Structure: 1. Naming of parts; 2. Classifying structures; 3. Structures that look alike; 4. Automorphisms; 5. Interpretations; Part II. Piecing Together a Structure: 6. The first order case; 7. The countable case; 8. The existential case; 9. The Horn case; Part III. Consequences of Compactness: 10. Saturation; 11. Combinatorial; 12. Expansions and categoricity; Examples; Bibliography; Index.