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 the completeness theorem of first-order logic). This leads fairly quickly to algebraic applications, like Malcev's local theorems of group theory and, after a little more preparation, to Hilbert's Nullstellensatz of field theory. Steinitz dimension theory for field extensions is obtained as a special case of a much more general model-theoretic treatment of strongly minimal theories. There is a final chapter on the models of the first-order theory of the integers as an abelian group. Both these topics appear here for the first time in a textbook at the introductory level, and are used to give hints to further reading and to recent developments in the field, such as stability (or classification) theory.
"Sinopsis" puede pertenecer a otra edición de este libro.
Rothmaler, Philipp
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 17,19 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoEUR 4,01 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9789056993139
Cantidad disponible: 15 disponibles
Librería: moluna, Greven, Alemania
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Rothmaler, PhilippModel 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, avoi. Nº de ref. del artículo: 599121798
Cantidad disponible: Más de 20 disponibles
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9789056993139
Cantidad disponible: 15 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 926429-n
Cantidad disponible: 10 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. pp. 324 This item is printed on demand. Nº de ref. del artículo: 5707598
Cantidad disponible: 3 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9789056993139_new
Cantidad disponible: Más de 20 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9789056993139
Cantidad disponible: 10 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: New. Nº de ref. del artículo: 926429-n
Cantidad disponible: 10 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 1st edition. 305 pages. 8.75x6.00x0.75 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __9056993135
Cantidad disponible: 1 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. pp. 324 1st Edition. Nº de ref. del artículo: 262140305
Cantidad disponible: 3 disponibles