Einführung in die Mathematische Logik und Modelltheorie
Alexander Prestel
Ein wesentliches Ziel dieses Buches ist, Studenten des Hauptstudiums und interessierten Mathematikern die Möglichkeit zu eröffnen, die bekanntesten, in der Algebra zur Zeit üblichen modelltheoretischen Schlüsse kennen und verstehen zu lernen. Die Modelltheorie beschäftigt sich primär mit der Untersuchung der Modelle von Axiomensystemen, die in der Sprache der Logik erster Stufe formuliert sind. Die meisten, der in der Mathematik üblichen Axiomensystemen, gehören dazu.
