The Birth of Model Theory Birth of Model Theory

Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory, that is, the part of logic that conc... » 

Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory, that is, the part of logic that concerns the relationship between formal theories and their models. This book provides both the first sustained, book-length analysis of Löwenheim's proof and a detailed description of the theoretical framework that made the theorem possible. «