Model Theory

Cover
Elsevier, 12.06.1990 - 649 Seiten
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.

This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

 

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Ausgewählte Seiten

Inhalt

Chapter 1 Introduction
1
Chapter 2 Models constructed from constants
61
Chapter 3 Further modeltheoretic constructions
136
Chapter 4 Ultraproducts
211
Chapter 5 Saturated and special models
292
Chapter 6 More about ultraproducts and generalizations
384
Chapter 7 Selected topics
482

Andere Ausgaben - Alle anzeigen

Häufige Begriffe und Wortgruppen

Bibliografische Informationen