Offers an introductory course in model theory emphasizing connections to algebra. This book is an introduction both for graduate students interested in advanced work in model theory and for students and researchers in logic or algebra.
This book focuses on the fields of real and complex numbers and discusses connections to pure model theory and algebraic geometry. It provides a brief survey of differential Galois theory including Poizat's model theoretic proof of Kolchin's result.
The material should be accessible to first year graduate students or advanced undergraduates in mathematics, graduate students in philosophy with a solid math background, or students in computer science who want a mathematical introduction to logic.
The material should be accessible to first year graduate students or advanced undergraduates in mathematics, graduate students in philosophy with a solid math background, or students in computer science who want a mathematical introduction to logic.