This volume highlights the links between model theory and algebra. The work contains a definitive account of algebraically compact modules, a topic of central importance for both module and model theory. Using concrete examples, particular emphasis is given to model theoretic co…
"This book is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter …
This introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht-Fraisse game and the model existence game. Over 500 exercises are included and instructors will appreciate the game-theoretical presentation of basic materials as well as …
This introductory text clearly presents three important games in logic, from the basics to the cutting edge.
Models and games
by Väänänen, Jouko, (Jouko Antero)
fromCambridge studies in advanced mathematics