This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory.
"synopsis" may belong to another edition of this title.
'... up-to-date ... can serve as an introduction to applications of model theory in computer science.' L'Enseignement Mathématique
' ... a very readable introduction to the subject.' Mathematika
'This book contains rich material for a good introductory course in model theory ...' European Mathematical Society
'I have talked with students who first learned about model theory from this text, and overall it served them well. From his impressive work of 1993, Hodges has distilled an accessible introductory account. In doing so he has provided a valuable resource for a first study of model theory.' Carol Wood, International Journal of Symbolic Logic
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, automorphism groups and omega-categoricity, O-minimality and structures of finite Morley rank.
"About this title" may belong to another edition of this title.
£ 6.07 shipping from Germany to United Kingdom
Destination, rates & speedsSeller: Antiquariat Bookfarm, Löbnitz, Germany
Softcover. Repr. x, 310 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03656 9780521587136 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2513358
Quantity: 1 available
Seller: Books & Bobs, Deeside, FLINT, United Kingdom
Soft cover. Condition: As New. As new. A tight, bright, and clean copy with no inscriptions, no annotations/notes, and no foxing to pages. Fantastic condition book. 310pp. (15x23cm). Please contact us for any more information. Seller Inventory # 6997
Quantity: 1 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 700028-n
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9780521587136_new
Quantity: Over 20 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 530. Seller Inventory # C9780521587136
Quantity: Over 20 available
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521587136
Quantity: 10 available
Seller: Goodwill of Greater Milwaukee and Chicago, Racine, WI, U.S.A.
Condition: acceptable. Book is considered to be in acceptable condition. The actual cover image may not match the stock photo. Book may have one or more of the following defects: noticeable wear on the cover dust jacket or spine; curved, dog eared or creased page s ; writing or highlighting inside or on the edges; sticker s or other adhesive on cover; CD DVD may not be included; and book may be a former library copy. Seller Inventory # SEWV.0521587131.A
Quantity: 1 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 310 pages. 9.25x6.50x1.00 inches. In Stock. This item is printed on demand. Seller Inventory # __0521587131
Quantity: 1 available
Seller: CitiRetail, Stevenage, United Kingdom
Paperback. Condition: new. Paperback. This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. This book will benefit graduate students with an interest in model theory. This is a textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521587136
Quantity: 1 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 700028-n
Quantity: Over 20 available