Introduction to model theory [First edition.] 9781482283068, 1482283069

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have pro

436 58 22MB

English Pages 324 Year 2014

Report DMCA / Copyright

DOWNLOAD FILE

Introduction to model theory [First edition.]
 9781482283068, 1482283069

Table of contents :
Basics, Structures, Languages, Semantics --
Beginnings of Model Theory, The Finiteness Theorem, First Consequences of Finiteness Theorem, Malcev's Applications to Group Theory, Some Theory of Ordering --
Basic Properties of Theories, Elementary Maps, Elimination, Chains --
Theories and Types, Types, Thick and Thin Models, Countable Complete Theories --
Two Applications, Strong Minimal Theories, Hints to Selected Exercise, Solutions for Selected Exercises.

Polecaj historie