Model theory is used to investigate mathematical structures by means of formal languages, and first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic. Avoiding syntactical issues, author proves the compactness theorem via the ultraproduct technique, which leads fairly quickly to algebraic applications like Malcev's local theorems and eventually to Hilbert's Nullstellensatz. The author obtains Steinitz dimension theory for field extensions as a special ...
Read More
Model theory is used to investigate mathematical structures by means of formal languages, and first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic. Avoiding syntactical issues, author proves the compactness theorem via the ultraproduct technique, which leads fairly quickly to algebraic applications like Malcev's local theorems and eventually to Hilbert's Nullstellensatz. The author obtains Steinitz dimension theory for field extensions as a special case of a more general model-theoretic treatment of strongly minimal theories. The final chapter explores the models of the first-order theory of the integers as an abelian group.
Read Less
Add this copy of Introduction to Model Theory to cart. $93.94, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2000 by CRC Press.
Add this copy of Introduction to Model Theory to cart. $124.31, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2000 by CRC Press.
Add this copy of Introduction to Model Theory to cart. $127.85, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2000 by CRC Press.
Add this copy of Introduction to Model Theory (Algebra, Logic and to cart. $135.00, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2000 by CRC Press.
Add this copy of Introduction to Model Theory (Algebra, Logic and to cart. $175.70, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2000 by CRC Press.
