FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Shorter Model Theory

Wilfrid Hodges
    Product form
      FORMAT: Paperback / softback

      R 3,850.53 Price and availability exclusive to website

      YOU COULD EARN 3,850.53 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 641.75 per month!
      3x monthly payments of R 1,283.51 with
      4x fortnightly payments of R 962.63 with
      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.
      Format: CONTRIBUTORS: Wilfrid Hodges EAN: 9780521587136 COUNTRY: United Kingdom PAGES: WEIGHT: 530 g HEIGHT: 228 cm
      PUBLISHED BY: Cambridge University Press DATE PUBLISHED: 1997-04-10 CITY: GENRE: MATHEMATICS / Logic WIDTH: 153 cm SPINE:

      Book Themes:

      Mathematical logic, Mathematical modelling

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      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.
      Format: CONTRIBUTORS: Wilfrid Hodges EAN: 9780521587136 COUNTRY: United Kingdom PAGES: WEIGHT: 530 g HEIGHT: 228 cm
      PUBLISHED BY: Cambridge University Press DATE PUBLISHED: 1997-04-10 CITY: GENRE: MATHEMATICS / Logic WIDTH: 153 cm SPINE:

      Book Themes:

      Mathematical logic, Mathematical modelling

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account