Vieweg Studium; Aufbaukurs Mathematik

1 primary work

Einfuhrung in Die Mathematische Logik Und Modelltheorie

by Alexander Prestel

Published 1 January 1986

Ein wesentliches Ziel dieses Buches ist, Studenten des Hauptstudiums und interessierten Mathematikern die Moeglichkeit zu eroeffnen, die bekanntesten, in der Algebra zur Zeit ublichen modelltheoretischen Schlusse kennen und verstehen zu lernen. Die Modelltheorie beschaftigt sich primar mit der Untersuchung der Modelle von Axiomensystemen, die in der Sprache der Logik erster Stufe formuliert sind. Die meisten, der in der Mathematik ublichen Axiomensystemen, gehoeren dazu.