Ein prägnantes Werk über die unendliche Modelltheorie, das komplexe Konzepte wie Lω1,ω‑Komplexität und Typenbildung in klaren Abschnitten erläutert und sowohl Studierende als auch erfahrene Logiker anspricht.