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.
Ask a Question About this Product More... |