Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)

"Model Theory" von H. Jerome Keisler ist ein umfassendes Werk, das sich mit der Modelltheorie als Teilgebiet der mathematischen Logik beschäftigt. Das Buch gehört zur renommierten Reihe "Studies in Logic and Foundations of Mathematics" und bietet eine detaillierte Einführung in die grundlegenden Konzepte und Techniken der Modelltheorie. Inhaltlich behandelt das Buch Themen wie Strukturen, Modelle, Theorien und deren Eigenschaften. Es führt den Leser durch fundamentale Begriffe wie Erfüllbarkeit, Elementarität und Isomorphie von Modellen. Zudem werden wichtige Sätze und Resultate vorgestellt, darunter der Kompaktheitssatz, der Löwenheim-Skolem-Satz sowie die Omitting Types Theoreme. Das Buch richtet sich an fortgeschrittene Studenten der Mathematik und Logik sowie an Forscher, die ein tieferes Verständnis für die strukturellen Aspekte mathematischer Theorien gewinnen möchten. Es kombiniert theoretische Ausführungen mit Beispielen und Übungen, um das erlernte Wissen zu festigen.