This book is the first modern introduction to the logic of infinitary languages in forty years, and is aimed at graduate students and researchers in all areas o

Lectures: G.E. Sacks: Model theory and applications.- H.J. Keisler: Constructions in model theory.- Seminars: M. Servi: SH formulas and generalized exponential.

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model th

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philo