ISBN: 9789056993139

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 mo… Meer...

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. New Textbooks>Trade Paperback>Science>Mathematics>Mathematics, Taylor & Francis Core >1 >T<

2000, ISBN: 9789056993139

[ED: Taschenbuch], [PU: Taylor & Francis], Model theory is used to investigate mathematical structures by means of formal languages, and first-order languages have proved particularly use… Meer...

[ED: Taschenbuch], [PU: Taylor & Francis], 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., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 324, [GW: 467g], Revised edition, Banküberweisung, PayPal, [CT: Sonstiges / Sonstiges]<

2000, ISBN: 9789056993139

pocketboek

Routledge, Paperback, Auflage: 1, 324 Seiten, Publiziert: 2000-10-31T00:00:01Z, Produktgruppe: Book, 0.6 kg, General Medical Issues, Medical & Healthcare Practitioners, Health, Family & L… Meer...

Routledge, Paperback, Auflage: 1, 324 Seiten, Publiziert: 2000-10-31T00:00:01Z, Produktgruppe: Book, 0.6 kg, General Medical Issues, Medical & Healthcare Practitioners, Health, Family & Lifestyle, Subjects, Books, Algebra, Mathematics, Science, Nature & Maths, Discrete Mathematics, Mathematical Logic, Mathematical Foundations, Set Theory, Modelling, Popular Science, Applied Mathematics, Scientific, Technical & Medical, Mathematical Theory, Routledge, 2000<

2000, ISBN: 9789056993139

CRC Press, 2000-10-31. Paperback. New. New. In shrink wrap. Looks like an interesting title!, CRC Press, 2000-10-31, 6

ISBN: 9789056993139

paperback