No label defined (Q4336034)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1007358
Language Label Description Also known as
default for all languages
No label defined
    English
    No label defined
    scientific article; zbMATH DE number 1007358

      Statements

      0 references
      6 May 1997
      0 references
      model theory
      0 references
      omitting types
      0 references
      stability
      0 references
      categoricity
      0 references
      quantifier elimination
      0 references
      This book is a shorter version of the book ``Model theory'' published by the same author in 1993 (see Zbl 0789.03031). As the book ``Model theory'' was very voluminous (772 pages), the author was asked by the publisher to write this shorter version. The book ``Model theory'' was reviewed in detail. So we focus on those things which have changed. Now there are 9 chapters instead of 12 in the former version. Of course the chapters have been shortened. The chapters on automorphism, products and combinatorics have been cancelled. The chapter on categoricity is completely rewritten. Here the author gives a proof of Morley's theorem. He starts with Ehrenfeucht-Mostowski models (formerly in the chapter on combinatorics). Then he develops the machinery needed for the proof of Morley's theorem, such as minimal sets, totally transcendental structures and stability. As in the former book there are hundreds of exercises. Now each chapter ends with a brief commentary for further reading. They replace forty pages of references in the book ``Model theory''. This book can be used for graduate courses. As it is shorted now, it is more convenient as an introduction into model theory. Now it is easier for the beginner to become familiar with the main techniques and ideas in model theory. The book contains enough material for several courses.
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references