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
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
*Price HAS BEEN REDUCED by 10% until Monday, June 10 (weekend sale item)* 324 pp., Paperback, very good. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.