Introduction to Model Theory

Available
0
StarStarStarStarStar
0Reviews
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via...
Read more
E-book
pdf
Price
79.99 £
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9780429668500
  • Publication Date: 7 Dec 2018
  • Publisher: CRC Press
  • Product language: English
  • Drm Setting: DRM