Broadens readers understanding through its brief, lucid, and focused content on model theory

Provides a systematic approach with plenty of examples and exercises to learn the topic quickly

Presents a quick stepping stone to further research in model theory

Autorentext

H. SARBADHIKARI graduated from the Indian Statistical Institute, Kolkata, in 1979 under the supervision of Prof. A. Maitra. She was a Ford Foundation Fellow at the University of California, Los Angeles, in 1979, and a visiting assistant professor at the University of Illinois, Chicago, in 1980. She joined the Indian Statistical Institute, Kolkata, in 1980, as the permanent faculty and retired from the position of professor in 2010. Her primary research interest is in descriptive set theory.

S.M. SRIVASTAVA graduated from the Indian Statistical Institute, Kolkata, in 1980, under the supervision of Prof. A. Maitra. He was a member of the Institute for Advanced Studies, Princeton, during the academic year 1979-80. He joined the Indian Statistical Institute, Kolkata, in 1980, as the permanent faculty and is currently a higher academic grade professor. His primary research interest lies in descriptive set theory. He is the recipient of the Indian National Science Academy medal for young scientists. He is the author of the books A Course on Borel Sets and A Course on Mathematical Logic (both published by Springer). He is an enthusiastic teacher and has written several expository articles aimed at popularising mathematical logic and set theory in India.

Klappentext

This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required.

The book can be used for both teaching and self-study, ideally over two semesters. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory. However, the first two chapters constitute the first introduction to the subject and can be covered in one-semester course to senior undergraduate students in mathematical logic. The book is also suitable for researchers who wish to use model theory in their work.

Inhalt

Chapter 1. Basic Introductory Concepts.- Chapter 2. Basic Introductory Results.- Chapter 3. Spaces of Types.- Chapter 4. Good Structures and Good Theories.- Chapter 5. Morley Categoricity Theorem and Forking Independence.- Chapter 6. Model Theory of Valued Fields.