Books by John T. (University of Illinois Baldwin

Surveys the history of modern model theory, emphasizing the significance, both for philosophy and for mathematical practice, of its mid-twentieth century transformation. Rich in both context and technical detail, this book will appeal to those working on the history and philosophy of mathematics.

This introduction to first order stability theory, organized around the spectrum problem, contains the first publication of complete proofs of the Vaught conjecture for -stable theories and Shelah's infamous example showing the necessity of his methods to solve the conjecture.