About this product

Product Identifiers

PublisherCambridge University Press

ISBN-100521587131

ISBN-139780521587136

eBay Product ID (ePID)201942

Product Key Features

Number of Pages324 Pages

LanguageEnglish

Publication NameShorter Model Theory

Publication Year1997

SubjectLogic

TypeTextbook

Subject AreaMathematics

AuthorWilfrid Hodges

FormatTrade Paperback

Dimensions

Item Height0.9 in

Item Weight18.8 Oz

Item Length9 in

Item Width6 in

Additional Product Features

Intended AudienceScholarly & Professional

LCCN96-036603

TitleLeadingA

Dewey Edition20

Reviews'This book contains rich material for a good introductory course in model theory â€¦' European Mathematical Society, '... up-to-date ... can serve as an introduction to applications of model theory in computer science.'L'Enseignement Mathématique, ‘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, "I have talked with students who first learned about model theory from this text, and overall it served them well. From his impressive work in 1993, Hodges has distilled an accessible introductory account. In doing so he has provided a valuable resource for a first study of model theory." International Joy of Symbolic Logic, '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, ‘… up-to-date … can serve as an introduction to applications of model theory in computer science.’L’Enseignement Mathématique, '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 book contains rich material for a good introductory course in model theory ...'European Mathematical Society, 'â€¦ up-to-date â€¦ can serve as an introduction to applications of model theory in computer science.' L'Enseignement Mathmatique, ‘This book contains rich material for a good introductory course in model theory …’European Mathematical Society

IllustratedYes

Dewey Decimal511.3

Table Of Content1. Naming of parts; 2. Classifying structures; 3. Structures that look alike; 4. Interpretations; 5. The first order case: compactness; 6. The countable case; 7. The existential case; 8. Saturation; 9. Structure and categoricity.

SynopsisThis 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 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., 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.

LC Classification NumberQA9.7 .H65 1997