Introduction to Model Theory Rothmaler PhilippPaperback
Introduction to Model Theory Rothmaler PhilippPaperback Model theory investigates mathematical structures by means of formal languages. In this spirit, the compactness theorem is proved via the…
Specifikacia Introduction to Model Theory Rothmaler PhilippPaperback
Introduction to Model Theory Rothmaler PhilippPaperback
Model theory investigates mathematical structures by means of formal languages. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of first-order logic). 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.
There is a final chapter on the models of the first-order theory of the integers as an abelian 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.