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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
'... 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
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
EUR 7 expédition depuis Allemagne vers France
Destinations, frais et délaisEUR 4,60 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisVendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
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. N° de réf. du vendeur 2513358
Quantité disponible : 1 disponible(s)
Vendeur : Books & Bobs, Deeside, FLINT, Royaume-Uni
Soft cover. Etat : 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. N° de réf. du vendeur 6997
Quantité disponible : 1 disponible(s)
Vendeur : Goodwill of Greater Milwaukee and Chicago, Racine, WI, Etats-Unis
Etat : 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. N° de réf. du vendeur SEWV.0521587131.A
Quantité disponible : 1 disponible(s)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. In. N° de réf. du vendeur ria9780521587136_new
Quantité disponible : Plus de 20 disponibles
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 310 pages. 9.25x6.50x1.00 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521587131
Quantité disponible : 1 disponible(s)
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 530. N° de réf. du vendeur C9780521587136
Quantité disponible : Plus de 20 disponibles
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9780521587136
Quantité disponible : 10 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 700028-n
Quantité disponible : Plus de 20 disponibles
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.Inhaltsverzeichnis1. Naming of parts 2. Classifying structures 3. Structures t. N° de réf. du vendeur 385636092
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : New. N° de réf. du vendeur 700028-n
Quantité disponible : Plus de 20 disponibles