Verwandte Artikel zu Introduction to Model Theory (Algebra, Logic and Application...

Introduction to Model Theory (Algebra, Logic and Applications, 16, Band 16) - Softcover

Buch 9 von 11: Algebra, Logic and Applications

Rothmaler, Philipp

 
9789056993139: Introduction to Model Theory (Algebra, Logic and Applications, 16, Band 16)
Softcover
ISBN 10: 9056993135 ISBN 13: 9789056993139
Verlag: CRC Press, 2000

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Rothmaler, Philipp

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
CRC Press
Erscheinungsdatum
2000
Sprache
Englisch
ISBN 10 
9056993135
ISBN 13 
9789056993139
Einband
Taschenbuch
Anzahl der Seiten
305
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland