A Shorter Model Theory
Book Details
Format
Paperback / softback
ISBN-10
0521587131
ISBN-13
9780521587136
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Apr 10th, 1997
Print length
324 Pages
Weight
492 grams
Dimensions
23.00 x 15.30 x 1.90 cms
Product Classification:
Mathematical logic
KSh 12,400.00
Currently unavailable
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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.
Get A Shorter Model Theory by Wilfrid Hodges at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has 324 pages.
Customers Who Bought This Also Bought
Elements of 8-Category Theory
KSh 13,300.00
Fuzzy Set Theory—and Its Applications
KSh 47,350.00
Lectures in Logic and Set Theory
KSh 9,550.00
Complex Dynamical Systems
KSh 19,250.00
Distributed Networks
KSh 16,400.00
Suguru Puzzle Book
KSh 0.00
The Baseball Mysteries
KSh 5,450.00
Information Security and Optimization
KSh 22,500.00
Problem Solving In Operation Management
KSh 14,400.00
Belief Change
KSh 32,400.00
Neutrosophic Computing and Vague Data Analysis
KSh 22,500.00
Introduction to Modern Cryptography, Revised Third Edition
KSh 9,350.00
